Using Taylor Models in Exact Real Arithmetic

DOI10.1007/978-3-319-32859-1_41zbMath1460.65049OpenAlexW2462210347MaRDI QIDQ2807869

Franz Brauße, Margarita 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

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

Related Items (1)

The ksmt calculus is a \(\delta \)-complete decision procedure for non-linear constraints

Uses Software

• MPFR
• iRRAM
• raSAT

This page was built for publication: Using Taylor Models in Exact Real Arithmetic