scientific article; zbMATH DE number 4084863

MaRDI QIDQ3813151zbMATH OpenFDO

Authors Siegfried M. Rump

Publication date 1988

zbMATH Keywords

computer algebrasymbolic computationrounding errorsfloating point arithmeticfinite arithmeticalgebraic manipulation of symbolsconversion errors

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Roundoff error (65G50) Computer aspects of numerical algorithms (65Yxx)

Cited in

(6)

• Finite integer computations: An algebraic foundation for their correctness
• scientific article; zbMATH DE number 4088841 (Why is no real title available?)
• Hidden verification for computational mathematics
• Comprehensive Gröbner bases
• A numerically rigorous proof of curve veering in an eigenvalue problem for differential equations
• An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3813151)