Using Taylor models in exact real arithmetic

DOI10.1007/978-3-319-32859-1_41MaRDI QIDQ2807869zbMATH OpenOpenAlexFDO

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

Publication date 25 May 2016

Published in Mathematical Aspects of Computer and Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-32859-1_41

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78) Interval and finite arithmetic (65G30)

Recommendations

• RealLib: An efficient implementation of exact real arithmetic
• Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
• Efficient Exact Arithmetic over Constructive Reals
• Implementing exact real arithmetic in python, C++ and C
• Exact real arithmetic using centred intervals and bounded error terms

Cited in

(6)

• scientific article; zbMATH DE number 1405640 (Why is no real title available?)
• Towards using exact real arithmetic for initial value problems
• RealLib: An efficient implementation of exact real arithmetic
• The ksmt calculus is a \(\delta \)-complete decision procedure for non-linear constraints
• Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
• Exact real arithmetic using centred intervals and bounded error terms

Describes a project that uses

Uses Software

• raSAT
• iRRAM
• MPFR

This page was built for publication: Using Taylor models in exact real arithmetic

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