Exact real computation in computer algebra

DOI10.1007/3-540-45084-X_14MaRDI QIDQ4425674zbMATH OpenFDO

Authors Gábor Bodnár, Barbara Kaltenbacher, Petru Pau, Josef Schicho

Publication date 11 September 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2630/26300279.htm

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• Useful computations need useful numbers
• RealLib: An efficient implementation of exact real arithmetic
• From Calculus to Algorithms without Errors
• Theory of Real Computation According to EGC
• scientific article; zbMATH DE number 1263361

Cited in

(15)

• Does computer algebra help at all learning about real numbers?
• Computing finite-dimensional realizations
• Verified computation of fast decreasing polynomials
• Obtaining exact value by approximate computations
• Towards using exact real arithmetic for initial value problems
• Exact computations with approximate methods
• scientific article; zbMATH DE number 66626 (Why is no real title available?)
• scientific article; zbMATH DE number 1231646 (Why is no real title available?)
• Exact calculation of inverse functions
• Useful computations need useful numbers
• Lazy computation with exact real numbers
• Computer Algebra in Scientific Computing
• The world's shortest correct exact real arithmetic program?
• Computations with effective real numbers
• Computer algebra for guaranteed accuracy. How does it help?

Describes a project that uses

Uses Software

• na20
• QEPCAD

This page was built for publication: Exact real computation in computer algebra

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