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)

• Title not available (Why is that?)
• Implementing Real Numbers With RZ
• A constructive theory of continuous domains suitable for implementation
• 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