Pages that link to "Item:Q1292399"
From MaRDI portal
The following pages link to Constructive mathematics: a foundation for computable analysis (Q1292399):
Displayed 21 items.
- A constructive real projective plane (Q265603) (← links)
- A certified, corecursive implementation of exact real numbers (Q817858) (← links)
- Insight in discrete geometry and computational content of a discrete model of the continuum (Q834257) (← links)
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics (Q969624) (← links)
- Classification of computably approximable real numbers (Q1015380) (← links)
- Unique existence, approximate solutions, and countable choice. (Q1427789) (← links)
- A constructive theory of point-set nearness. (Q1427791) (← links)
- Kernels of seminorms in constructive analysis. (Q1607290) (← links)
- Constructing extensions of ultraweakly continuous linear functionals (Q1840580) (← links)
- Apartness spaces as a framework for constructive topology (Q1861535) (← links)
- Foundational aspects of multiscale digitization (Q1935768) (← links)
- Reverse formalism 16 (Q2054114) (← links)
- A topological approach to infinity in physics and biophysics (Q2152376) (← links)
- Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective (Q2354911) (← links)
- Formal Zariski topology: Positivity and points (Q2575775) (← links)
- The Dedekind reals in abstract Stone duality (Q3395312) (← links)
- A Constructive Analysis of a Proof that the Numerical Range is Convex (Q4504969) (← links)
- A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis (Q5458871) (← links)
- Converses of Bishop's lemma on located sets (Q5935882) (← links)
- Constructive closed range and open mapping theorems (Q5951541) (← links)
- Intuitionistic mereology (Q6067323) (← links)