Towards Using Exact Real Arithmetic for Initial Value Problems

DOI10.1007/978-3-319-41579-6_6zbMath1461.65286OpenAlexW2502308575MaRDI QIDQ3179168

Franz Brauße, Norbert Th. Müller, Margarita Korovina

Publication date: 21 December 2016

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

Full work available at URL: https://doi.org/10.1007/978-3-319-41579-6_6

zbMATH Keywords

ordinary differential equationscomputable analysisTaylor modelsexact real arithmetic

Mathematics Subject Classification ID

Initial value problems, existence, uniqueness, continuous dependence and continuation of solutions to ordinary differential equations (34A12) Numerical methods for initial value problems involving ordinary differential equations (65L05) Packaged methods for numerical algorithms (65Y15) Software, source code, etc. for problems pertaining to ordinary differential equations (34-04)

Related Items (3)

Exact real computation of solution operators for linear analytic systems of partial differential equations ⋮ The ksmt calculus is a \(\delta \)-complete decision procedure for non-linear constraints ⋮ The \texttt{ksmt} calculus is a \(\delta \)-complete decision procedure for non-linear constraints

Uses Software

• MPFR
• iRRAM
• VNODE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Validated solutions of initial value problems for ordinary differential equations
• Computational Complexity of Smooth Differential Equations
• Reliable Computing with GNU MPFR

This page was built for publication: Towards Using Exact Real Arithmetic for Initial Value Problems