Pages that link to "Item:Q2148797"
From MaRDI portal
The following pages link to Axiomatic reals and certified efficient exact real computation (Q2148797):
Displaying 6 items.
- Certified Exact Transcendental Real Number Computation in Coq (Q3543662) (← links)
- Verified Real Asymptotics in Isabelle/HOL (Q5120486) (← links)
- Computer Certified Efficient Exact Reals in Coq (Q5200110) (← links)
- Efficient Exact Arithmetic over Constructive Reals (Q5425455) (← links)
- Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base (Q5458427) (← links)
- Verified exact real computation with nondeterministic functions and limits (Q6546605) (← links)