Pages that link to "Item:Q4594262"
From MaRDI portal
The following pages link to Implementing constructive real analysis (preliminary report) (Q4594262):
Displaying 7 items.
- A certified, corecursive implementation of exact real numbers (Q817858) (← links)
- Coinduction for exact real number computation (Q1015372) (← links)
- Generalized real numbers in constructive mathematics (Q1279733) (← links)
- Constructing the real numbers in HOL (Q1334896) (← links)
- The constructive reals as a Java library (Q1779561) (← links)
- Exploring abstract algebra in constructive type theory (Q5210799) (← links)
- Verification: Theory and Practice (Q5305641) (← links)