The following pages link to (Q4736391):
Displaying 9 items.
- Wave equation numerical resolution: a comprehensive mechanized proof of a C program (Q352952) (← links)
- An induction principle over real numbers (Q512134) (← links)
- A certified, corecursive implementation of exact real numbers (Q817858) (← links)
- Proofs of randomized algorithms in Coq (Q923886) (← links)
- Coquelicot: a user-friendly library of real analysis for Coq (Q2018661) (← links)
- Coinductive field of exact real numbers and general corecursion (Q2863898) (← links)
- The Degrees of Constructibility of Cohen Reals (Q3026996) (← links)
- Certified Exact Transcendental Real Number Computation in Coq (Q3543662) (← links)
- (Q5155676) (← links)