Pages that link to "Item:Q3003309"
From MaRDI portal
The following pages link to From coinductive proofs to exact real arithmetic: theory and applications (Q3003309):
Displaying 20 items.
- Proofs, programs, processes (Q693063) (← links)
- An intuitionistic proof of a discrete form of the Jordan curve theorem formalized in Coq with combinatorial hypermaps (Q839032) (← links)
- Polynomial time over the reals with parsimony (Q2039933) (← links)
- Intuitionistic fixed point logic (Q2220485) (← links)
- Lookahead analysis in exact real arithmetic with logical methods (Q2680994) (← links)
- Using theory interpretation to mechanise the reals in a theorem prover (Q2703760) (← links)
- Coinductive field of exact real numbers and general corecursion (Q2863898) (← links)
- Typed vs. Untyped Realizability (Q3178273) (← links)
- On the Constructive and Computational Content of Abstract Mathematics (Q3305627) (← links)
- Certified Exact Transcendental Real Number Computation in Coq (Q3543662) (← links)
- From Coinductive Proofs to Exact Real Arithmetic (Q3644745) (← links)
- A realizability interpretation of Church's simple theory of types (Q4593235) (← links)
- Nonflatness and totality (Q4611200) (← links)
- Limits of real numbers in the binary signed digit representation (Q5043582) (← links)
- Verified Real Asymptotics in Isabelle/HOL (Q5120486) (← links)
- Computing with continuous objects: a uniform co-inductive approach (Q5156773) (← links)
- Computer Certified Efficient Exact Reals in Coq (Q5200110) (← links)
- Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base (Q5458427) (← links)
- (Q5856423) (← links)
- On the proof theory of Coquand's calculus of constructions (Q5961667) (← links)
