scientific article; zbMATH DE number 4084863

zbMATH Open0663.65043MaRDI QIDQ3813151FDOQ3813151

Authors: Siegfried M. Rump 

Publication date: 1988

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 4088841
• scientific article
• Publication:4721493
• scientific article; zbMATH DE number 4078646
• scientific article; zbMATH DE number 953029

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)

• Hidden verification for computational mathematics
• An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
• A numerically rigorous proof of curve veering in an eigenvalue problem for differential equations
• Comprehensive Gröbner bases
• Title not available (Why is that?)
• Finite integer computations: An algebraic foundation for their correctness

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)