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

DOI10.1007/978-3-540-79126-3_4MaRDI QIDQ5458871zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

constructive mathematicsdiscrete geometrynonstandard analysis

Mathematics Subject Classification ID

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

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

Cites work

• A constructive approach to 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
• Constructive Mathematics in Theory and Programming Practice
• Constructive mathematics: a foundation for computable analysis
• Constructivism in mathematics. An introduction. Volume II
• Developments in Constructive Nonstandard Analysis
• scientific article; zbMATH DE number 444627 (Why is no real title available?)
• scientific article; zbMATH DE number 3859117 (Why is no real title available?)
• scientific article; zbMATH DE number 3863197 (Why is no real title available?)
• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 44113 (Why is no real title available?)
• scientific article; zbMATH DE number 177656 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• Internal set theory: A new approach to nonstandard analysis
• Intuitionism. An introduction
• The calculus of constructions

Cited in

(7)

• Back and forth between continuous and discrete for the working computer scientist
• Foundational aspects of multiscale digitization
• Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective
• Multi-scale arithmetization of linear transformations
• Exploring the foundations of discrete analytical geometry in Isabelle/HOL
• Arithmetization of a circular arc
• Insight in discrete geometry and computational content of a discrete model of the continuum

Describes a project that uses

Uses Software

• Nuprl

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)