RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice

DOI10.1007/978-3-540-73001-9_4zbMath1150.03300OpenAlexW1961244323MaRDI QIDQ5426863

Andrej Bauer, Christopher A. Stone

Publication date: 13 November 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73001-9_4

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Other constructive mathematics (03F65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)

Related Items (2)

Implementing Real Numbers With RZ ⋮ RZ

Uses Software

• RealLib
• OCaml
• iRRAM

This page was built for publication: RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice