Constructive mathematics: a foundation for computable analysis
From MaRDI portal
Publication:1292399
Recommendations
- scientific article; zbMATH DE number 2013199
- scientific article; zbMATH DE number 2183393
- scientific article; zbMATH DE number 17564
- scientific article; zbMATH DE number 1107625
- scientific article; zbMATH DE number 1222088
- scientific article; zbMATH DE number 1101599
- Constructive Mathematics in Theory and Programming Practice
- An introduction to constructive mathematics
- scientific article; zbMATH DE number 2109415
- scientific article; zbMATH DE number 218497
Cites work
- scientific article; zbMATH DE number 4177052 (Why is no real title available?)
- scientific article; zbMATH DE number 3427309 (Why is no real title available?)
- scientific article; zbMATH DE number 3163006 (Why is no real title available?)
- scientific article; zbMATH DE number 3900744 (Why is no real title available?)
- scientific article; zbMATH DE number 4002093 (Why is no real title available?)
- scientific article; zbMATH DE number 4070894 (Why is no real title available?)
- scientific article; zbMATH DE number 3687373 (Why is no real title available?)
- scientific article; zbMATH DE number 3760125 (Why is no real title available?)
- scientific article; zbMATH DE number 3521950 (Why is no real title available?)
- scientific article; zbMATH DE number 1301805 (Why is no real title available?)
- scientific article; zbMATH DE number 1748963 (Why is no real title available?)
- scientific article; zbMATH DE number 936956 (Why is no real title available?)
- scientific article; zbMATH DE number 3291139 (Why is no real title available?)
- Choice Implies Excluded Middle
- Constructive Mathematics in Theory and Programming Practice
- Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem
- Constructive mathematics and unbounded operators -- a reply to Hellman
- Constructive set theory
- Constructivism in mathematics. An introduction. Volume I
- Intuitionism As Generalization
- On the Lebesgue measurability of continuous functions in constructive analysis
- Set theoretic foundations for constructive analysis
Cited in
(37)- The Dedekind reals in abstract Stone duality
- Constructive closed range and open mapping theorems
- scientific article; zbMATH DE number 5519284 (Why is no real title available?)
- scientific article; zbMATH DE number 1101599 (Why is no real title available?)
- scientific article; zbMATH DE number 1107625 (Why is no real title available?)
- On the foundations of mathematical economics
- Constructive Mathematics in Theory and Programming Practice
- scientific article; zbMATH DE number 3850461 (Why is no real title available?)
- Insight in discrete geometry and computational content of a discrete model of the continuum
- Reverse formalism 16
- scientific article; zbMATH DE number 6320249 (Why is no real title available?)
- Verified exact real computation with nondeterministic functions and limits
- Computable real numbers according to Alan Turing (an example of a constructive definition)
- Topological quantum gates in homotopy type theory
- A topological approach to infinity in physics and biophysics
- Intuitionistic mereology
- Formal Zariski topology: Positivity and points
- scientific article; zbMATH DE number 5994605 (Why is no real title available?)
- scientific article; zbMATH DE number 6154336 (Why is no real title available?)
- Converses of Bishop's lemma on located sets
- A constructive theory of point-set nearness.
- Classification of computably approximable real numbers
- A certified, corecursive implementation of exact real numbers
- A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics
- Implementing constructive real analysis (preliminary report)
- Apartness spaces as a framework for constructive topology
- Kernels of seminorms in constructive analysis.
- Constructive analysis, types and exact real numbers
- A Constructive Analysis of a Proof that the Numerical Range is Convex
- Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective
- Some axioms for constructive analysis
- Foundational aspects of multiscale digitization
- Constructing extensions of ultraweakly continuous linear functionals
- A constructive real projective plane
- An induction principle over real numbers
- Unique existence, approximate solutions, and countable choice.
This page was built for publication: Constructive mathematics: a foundation for computable analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1292399)
