A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis
DOI10.1007/978-3-540-79126-3_4zbMATH Open1138.68594OpenAlexW2171984085MaRDI QIDQ5458871FDOQ5458871
Authors: Laurent Fuchs, Gaëlle Largeteau-Skapin, Guy Wallet, Eric Andres, Agathe Chollet 
Publication date: 24 April 2008
Published in: Discrete Geometry for Computer Imagery (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-79126-3_4
Recommendations
- Insight in discrete geometry and computational content of a discrete model of the continuum
- Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective
- Weak Rational Computing for Digital Geometry
- scientific article; zbMATH DE number 177652
- Investigation of relaxation oscillations with the use of constructive nonstandard analysis: I
Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Constructive and recursive analysis (03F60) Nonstandard models in mathematics (03H05)
Cites Work
- Constructive mathematics: a foundation for computable analysis
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Intuitionism. An introduction
- Constructive Mathematics in Theory and Programming Practice
- The calculus of constructions
- Constructivism in mathematics. An introduction. Volume II
- Internal set theory: A new approach to nonstandard 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?)
- A constructive approach to nonstandard analysis
- Developments in Constructive Nonstandard Analysis
- A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction
- Back and forth between continuous and discrete for the working computer scientist
- Title not available (Why is that?)
Cited In (6)
- Insight in discrete geometry and computational content of a discrete model of the continuum
- Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective
- Exploring the foundations of discrete analytical geometry in Isabelle/HOL
- Foundational aspects of multiscale digitization
- Multi-scale arithmetization of linear transformations
- Arithmetization of a circular arc
Uses Software
This page was built for publication: A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458871)
