RZ
From MaRDI portal
Software:20940
No author found.
Related Items (5)
Unnamed Item ⋮ Implementing Real Numbers With RZ ⋮ RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice ⋮ A constructive theory of continuous domains suitable for implementation ⋮ Realisability and adequacy for (co)induction
This page was built for software: RZ