Towards using exact real arithmetic for initial value problems

DOI10.1007/978-3-319-41579-6_6MaRDI QIDQ3179168zbMATH OpenOpenAlexFDO

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

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

computable analysisexact real arithmeticordinary differential equationsTaylor models

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to ordinary differential equations (34-04) 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)

Recommendations

• scientific article; zbMATH DE number 1405640
• scientific article; zbMATH DE number 1746043
• Using Taylor models in exact real arithmetic
• scientific article; zbMATH DE number 1979264
• On the complexity of solving initial value problems

Cites work

• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 1746043 (Why is no real title available?)
• scientific article; zbMATH DE number 2169895 (Why is no real title available?)
• scientific article; zbMATH DE number 1916891 (Why is no real title available?)
• Reliable Computing with GNU MPFR
• Validated solutions of initial value problems for ordinary differential equations

Cited in

(13)

• Exact real arithmetic for interval number systems
• The \texttt{ksmt} calculus is a \(\delta \)-complete decision procedure for non-linear constraints
• Real solution isolation using interval arithmetic
• scientific article; zbMATH DE number 729912 (Why is no real title available?)
• scientific article; zbMATH DE number 1746043 (Why is no real title available?)
• Making the Case for Pseudodifferential Arithmetic
• Making big steps in trajectories
• Lazy computation with exact real numbers
• The ksmt calculus is a \(\delta \)-complete decision procedure for non-linear constraints
• A Coq formalization of Taylor models and power series for solving ordinary differential equations
• Computable analysis for extraction of certified programs and its applications
• Computations with effective real numbers
• Exact real computation of solution operators for linear analytic systems of partial differential equations

Describes a project that uses

Uses Software

• MPFR
• iRRAM
• VNODE

This page was built for publication: Towards using exact real arithmetic for initial value problems

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