Pages that link to "Item:Q5458427"
From MaRDI portal
The following pages link to Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base (Q5458427):
Displaying 9 items.
- Designing and proving correct a convex hull algorithm with hypermaps in Coq (Q448980) (← links)
- ``Backward'' coinduction, Nash equilibrium and the rationality of escalation (Q715039) (← links)
- A certified, corecursive implementation of exact real numbers (Q817858) (← links)
- Formal Verification of Exact Computations Using Newton’s Method (Q3183542) (← links)
- Real Number Calculations and Theorem Proving (Q3543660) (← links)
- Certified Exact Transcendental Real Number Computation in Coq (Q3543662) (← links)
- From Coinductive Proofs to Exact Real Arithmetic (Q3644745) (← links)
- Computer Certified Efficient Exact Reals in Coq (Q5200110) (← links)
- Efficient Exact Arithmetic over Constructive Reals (Q5425455) (← links)