Coinductive Formal Reasoning in Exact Real Arithmetic
From MaRDI portal
Publication:3535611
DOI10.2168/LMCS-4(3:6)2008zbMath1147.68023MaRDI QIDQ3535611
Publication date: 13 November 2008
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
correctnessMöbius mapsCoq formalizationcoinductive typesfield operationsEdalat-Potts exact real arithmeticlazy algorithms for computing homographic and quadratic transformationsrepresentation of real numbers by coinductive streams
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Formal Verification of Exact Computations Using Newton’s Method ⋮ Proofs, programs, processes ⋮ From Coinductive Proofs to Exact Real Arithmetic
Uses Software
This page was built for publication: Coinductive Formal Reasoning in Exact Real Arithmetic
