The world's shortest correct exact real arithmetic program?

DOI10.1016/j.ic.2011.09.004zbMath1386.68150OpenAlexW1975365077MaRDI QIDQ714620

David R. Lester

Publication date: 11 October 2012

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2011.09.004

zbMATH Keywords

computable realshigher-order logicHaskellPVSexact real arithmetic

Mathematics Subject Classification ID

Uses Software

• Coq
• Isabelle
• Isabelle/HOL
• PVS
• Haskell
• iRRAM

Cites Work

• Isabelle. A generic theorem prover
• Using PVS to validate the algorithms of an exact arithmetic.
• Implementing Real Numbers With RZ
• Numerical Software with Result Verification
• New Computational Paradigms
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The world's shortest correct exact real arithmetic program?