Pages that link to "Item:Q3431542"
From MaRDI portal
The following pages link to Constructive analysis, types and exact real numbers (Q3431542):
Displaying 12 items.
- Some axioms for constructive analysis (Q453178) (← links)
- Proofs, programs, processes (Q693063) (← links)
- Proofs of randomized algorithms in Coq (Q923886) (← links)
- A computer-verified monadic functional implementation of the integral (Q987984) (← links)
- Constructing the real numbers in HOL (Q1334896) (← links)
- Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective (Q2354911) (← links)
- From Coinductive Proofs to Exact Real Arithmetic (Q3644745) (← links)
- Implementing constructive real analysis (preliminary report) (Q4594262) (← links)
- (Q4736391) (← links)
- A Functional Algorithm for Exact Real Integration with Invariant Measures (Q5415647) (← links)
- Verified exact real computation with nondeterministic functions and limits (Q6546605) (← links)
- Topological quantum gates in homotopy type theory (Q6584358) (← links)