Numerical Software with Result Verification

DOI10.1007/b96498zbMath1126.65327OpenAlexW203078251MaRDI QIDQ5308344

Nathalie Revol, Markus Grimmer, Knut Petras

Publication date: 28 September 2007

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

Full work available at URL: https://doi.org/10.1007/b96498

Mathematics Subject Classification ID

Interval and finite arithmetic (65G30) Packaged methods for numerical algorithms (65Y15)

Related Items (5)

Nonlinear transformations for the simplification of unconstrained nonlinear optimization problems ⋮ Principles of verified numerical integration ⋮ Multiple/arbitrary precision interval computations in C-XSC ⋮ On asymptotic extrapolation ⋮ Computations with effective real numbers

Uses Software

• C-XSC 2.0
• intpakX
• Maple
• MPFI
• PROFIL/BIAS
• INTLAB
• INTOPT_90
• mctoolbox
• PNM
• filib++
• ISOLATE
• Algorithm 524
• INTPAK

This page was built for publication: Numerical Software with Result Verification