🧑🔬 Siegfried M. Rump — papers of 2010 — Elamur Research1 paper · all years of Siegfried M. RumpVerification methods: rigorous results using floating-point arithmeticActa Numerica 19:287–449Siegfried M. Rump2010 · 285 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/siegfried-m-rump/year/2010/