RZ

swMATH8944MaRDI QIDQ20940FDOQ20940

Author name not available (Why is that?)

Described by source

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

Cited In (5)

• A constructive theory of continuous domains suitable for implementation
• Realisability for induction and coinduction with applications to constructive analysis
• Implementing real numbers with RZ
• 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