RZ

swMATH8944MaRDI QIDQ20940FDOQ20940

Author name not available (Why is that?)

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 (6)

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

This page was built for software: RZ