Elamur Research⌕
☰
home / authors / Siegfried M. Rump

Siegfried M. Rump

Siegfried M. Rump has 2 papers in our library, in 1999–2010.

2 papers in our library · 1999–2010

OpenAlex · ORCID · Wikidata · h-index 36 · 333 works · 5,489 citations OpenAlex, 2026-10-14

📄 2 works in our library · 🔗 Cited 16 times in our library · ⭐ Paper Stars ranking: #2131

The profile is the library's match of the name; two people with one name are not always told apart.

Elsewhere: Google Scholar · Semantic Scholar · dblp · ACL Anthology

 Affiliations

🎓Hamburg University of TechnologyHamburg · Germany1989–2026 · 138 papersEmploymentcurrent🎓Waseda UniversityTokyo · Japan2006–2026 · 65 paperscurrent🏢IBMBöblingen · Germany1984–1988 · 12 papers🎓Karlsruhe Institute of TechnologyKarlsruhe · Germany1977–2006 · 11 papers🎓Université Pierre-et-Marie-CurieParis · France2009–2011 · 3 papers🏢IBMArmonk · United States1985–1988 · 3 papers🔬LIP6Paris · France2009–2010 · 2 papers

From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 3 more institutions on single bylines are not listed.

 Fields, topics and concepts

Of its works in our library, with the number of works on each.

📚 Shelves 5The field of science this work belongs to (OpenAlex fields).Computer Science · 2 worksMathematics · 2 worksComputational Theory and Mathematics · 2 worksModeling and Simulation · 2 worksArtificial Intelligence · 1 work

 Works by year

2010s

20101 paper

1990s

19991 paper

 Papers

The most cited first (OpenAlex and our library).

  1. INTLAB — INTerval LABoratory (1999 · 1,138 citations)
    Rump presents INTLAB, a Matlab toolbox for interval arithmetic. It addresses a long-standing tension in verified numerics: guaranteed computation tends to be slow, hard to port, or awkward to program. The design rests on two ideas. First, interval operations are recast so that they rely only on BLAS matrix routines.…
  2. Verification methods: rigorous results using floating-point arithmetic (2010 · 285 citations)
    Ordinary floating-point computations give approximate answers with no guarantee of accuracy. Verification methods address this by producing mathematically rigorous bounds, for example proving that a true solution exists inside a computed enclosure. This survey by Rump explains how such methods are built and where…

Venues

Where their works here were published, the most works first, with the editions of those that have a page.

 Cited by

Papers of our library cite their works 16 times (of the 149,439 papers whose bibliographies we read); 1 citing paper with a page here →.

Updated

This page in Markdown → https://md.research.elamur.ai/free/en/authors/siegfried-m-rump/