Using Taylor models in exact real arithmetic

DOI10.1007/978-3-319-32859-1_41zbMATH Open1460.65049OpenAlexW2462210347MaRDI QIDQ2807869FDOQ2807869

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

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

Mathematics Subject Classification ID

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

Cited In (5)

• Title not available (Why is that?)
• 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

Uses Software

• MPFR
• iRRAM
• raSAT

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)