RZ

MaRDI QIDQ20940swMATHFDO

Official website http://link.springer.com/chapter/10.1007/978-3-540-73001-9_4

Described by source

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

Cited in

(7)

• A constructive theory of continuous domains suitable for implementation
• RealLib
• iRRAM
• Realisability and adequacy for (co)induction
• Realisability for induction and coinduction with applications to constructive analysis
• RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
• Implementing real numbers with RZ

This page was built for software: RZ