Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base

DOI10.1007/978-3-540-78969-7_6zbMath1137.68573OpenAlexW4244511210MaRDI QIDQ5458427

Nicolas Julien

Publication date: 11 April 2008

Published in: Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78969-7_6

Mathematics Subject Classification ID

Related Items (6)

Formal Verification of Exact Computations Using Newton’s Method ⋮ Designing and proving correct a convex hull algorithm with hypermaps in Coq ⋮ Real Number Calculations and Theorem Proving ⋮ Certified Exact Transcendental Real Number Computation in Coq ⋮ ``Backward coinduction, Nash equilibrium and the rationality of escalation ⋮ Computer Certified Efficient Exact Reals in Coq

Uses Software

• Coq
• SLEEF

This page was built for publication: Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base