Precise numerical computation

DOI10.1016/j.jlap.2004.07.007zbMath1075.68104OpenAlexW2076955665MaRDI QIDQ1779570

Mark Sofroniou, Giulia Spaletta

Publication date: 1 June 2005

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2004.07.007

zbMATH Keywords

Condition numberError analysisInterval arithmeticComputer algebra systemsAccuracy and precisionComputer aspects of numerical algorithmsSignificance arithmetic

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Interval and finite arithmetic (65G30) Roundoff error (65G50) Algorithms with automatic result verification (65G20)

Related Items

Approximate Gröbner bases, overdetermined polynomial systems, and approximate GCDs ⋮ Exact time-integral inversion via Čebyšëv quintic approximations for nonlinear oscillators ⋮ Computational complexity of iterated maps on the interval ⋮ Precise numerical computation ⋮ Computing Hypergeometric Functions Rigorously

Uses Software

• C-XSC
• Mathematica
• INTLAB
• subplex
• mctoolbox
• PNM
• PRECISE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Derived eigenvalues of symmetric matrices, with applications to distance geometry
• A review of Mathematica
• Significance arithmetic: The probability of carrying
• A trinomial analogue of Bailey's lemma and \(N=2\) superconformal invariance
• Computing in the field of complex algebraic numbers
• Rump's example revisited
• Precise numerical computation
• Cylindrical algebraic decomposition using validated numerics
• Significance arithmetic: The carrying algorithm
• Numerical Computing with IEEE Floating Point Arithmetic
• A Significance Rule for Multiple-Precision Arithmetic
• A quantitative measure of precision
• Accuracy and Stability of Numerical Algorithms
• Lectures on Finite Precision Computations
• PRECISE
• Unnormalized Floating Point Arithmetic
• Self-validating methods
• A remarkable example of catastrophic cancellation unraveled