Pages that link to "Item:Q5448620"
From MaRDI portal
The following pages link to Real numbers and other completions (Q5448620):
Displaying 9 items.
- A constructive real projective plane (Q265603) (← links)
- The intermediate value theorem in constructive mathematics without choice (Q424546) (← links)
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics (Q969624) (← links)
- A computer-verified monadic functional implementation of the integral (Q987984) (← links)
- Problems, solutions, and completions (Q1044674) (← links)
- Certified Exact Transcendental Real Number Computation in Coq (Q3543662) (← links)
- Constructive Urysohn's Universal Metric Space (Q4918013) (← links)
- Computer Certified Efficient Exact Reals in Coq (Q5200110) (← links)
- Completion of premetric spaces (Q5855277) (← links)
