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 analysisordinary differential equationsTaylor modelsexact real arithmetic

Mathematics Subject Classification ID

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

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

(11)

• Exact real computation of solution operators for linear analytic systems of partial differential equations
• Real solution isolation using interval arithmetic
• scientific article; zbMATH DE number 1746043 (Why is no real title available?)
• 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
• Making the Case for Pseudodifferential Arithmetic
• scientific article; zbMATH DE number 729912 (Why is no real title available?)
• Exact real arithmetic for interval number systems
• Lazy computation with exact real numbers
• Making big steps in trajectories
• Computations with effective real numbers

Describes a project that uses

Uses Software

• VNODE
• iRRAM
• MPFR

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)