Numerical integration with exact real arithmetic

DOI10.1007/3-540-48523-6_7MaRDI QIDQ4938619zbMATH OpenFDO

Authors M. Krznarić, Abbas Edalat

Publication date 14 June 2000

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

Full work available at URL https://doi.org/10.1007/3-540-48523-6_7

zbMATH Keywords

algorithmsconvergenceDarboux sums methodEuler methodexact real arithmeticGauss-Legendre formulaeintegral of an elementary functionnumerical integrationRunge-Kutta methodsSimpson's rules

Mathematics Subject Classification ID

Approximate quadratures (41A55) Numerical quadrature and cubature formulas (65D32) Multistep, Runge-Kutta and extrapolation methods for ordinary differential equations (65L06)

Recommendations

• Numerical integration in arbitrary-precision ball arithmetic
• Lazy functional algorithms for exact real functionals
• Exact real arithmetic for interval number systems
• Using Taylor models in exact real arithmetic
• A functional algorithm for exact real integration with invariant measures

Cited in

(8)

• Numerical integration in arbitrary-precision ball arithmetic
• Numerical integration over implicitly defined domains with topological guarantee
• Towards using exact real arithmetic for initial value problems
• Perfect numerical integration
• A functional algorithm for exact real integration with invariant measures
• Numerical solution of improper integrals with valid implementation
• Computations with effective real numbers
• A computer-verified monadic functional implementation of the integral

This page was built for publication: Numerical integration with exact real arithmetic

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