Constructive mathematics: a foundation for computable analysis
From MaRDI portal
Publication:1292399
DOI10.1016/S0304-3975(98)00285-0zbMATH Open0916.68048MaRDI QIDQ1292399FDOQ1292399
Publication date: 21 June 1999
Published in: Theoretical Computer Science (Search for Journal in Brave)
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
- Constructivism in mathematics. An introduction. Volume I
- Set theoretic foundations for constructive analysis
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Constructive set theory
- Title not available (Why is that?)
- Constructive Mathematics in Theory and Programming Practice
- Title not available (Why is that?)
- Intuitionism As Generalization
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Choice Implies Excluded Middle
- Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem
- Constructive mathematics and unbounded operators -- a reply to Hellman
- Title not available (Why is that?)
- On the Lebesgue measurability of continuous functions in constructive analysis
Cited In (35)
- Constructive analysis, types and exact real numbers
- Some axioms for constructive analysis
- A constructive real projective plane
- Insight in discrete geometry and computational content of a discrete model of the continuum
- A constructive theory of point-set nearness.
- Kernels of seminorms in constructive analysis.
- Constructive Mathematics in Theory and Programming Practice
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics
- Title not available (Why is that?)
- Title not available (Why is that?)
- A certified, corecursive implementation of exact real numbers
- On the foundations of mathematical economics
- Topological quantum gates in homotopy type theory
- Classification of computably approximable real numbers
- Intuitionistic mereology
- Reverse formalism 16
- A Constructive Analysis of a Proof that the Numerical Range is Convex
- Unique existence, approximate solutions, and countable choice.
- Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective
- A topological approach to infinity in physics and biophysics
- Title not available (Why is that?)
- Apartness spaces as a framework for constructive topology
- Foundational aspects of multiscale digitization
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Formal Zariski topology: Positivity and points
- Title not available (Why is that?)
- Implementing constructive real analysis (preliminary report)
- Converses of Bishop's lemma on located sets
- Constructing extensions of ultraweakly continuous linear functionals
- The Dedekind reals in abstract Stone duality
- Verified exact real computation with nondeterministic functions and limits
- Constructive closed range and open mapping theorems
- A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis
Uses Software
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)
