A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis

DOI10.1007/978-3-540-79126-3_4zbMath1138.68594OpenAlexW2171984085MaRDI QIDQ5458871

Eric Andres, Gaëlle Largeteau-Skapin, Guy Wallet, Laurent Fuchs, 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

zbMATH Keywords

constructive mathematicsnonstandard analysisdiscrete geometry

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Nonstandard models in mathematics (03H05)

Related Items

Insight in discrete geometry and computational content of a discrete model of the continuum ⋮ Multi-scale arithmetization of linear transformations ⋮ Foundational aspects of multiscale digitization ⋮ Arithmetization of a Circular Arc ⋮ Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL

Uses Software

• Nuprl

Cites Work

• Intuitionism. An introduction
• A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction
• The calculus of constructions
• Constructivism in mathematics. An introduction. Volume II
• Constructive mathematics: a foundation for computable analysis
• Back and forth between continuous and discrete for the working computer scientist
• A constructive approach to nonstandard analysis
• Internal set theory: A new approach to nonstandard analysis
• Developments in Constructive Nonstandard Analysis
• Constructive Mathematics in Theory and Programming Practice
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item