Insight in discrete geometry and computational content of a discrete model of the continuum

DOI10.1016/j.patcog.2008.12.005zbMath1178.68614OpenAlexW4301202938MaRDI QIDQ834257

Agathe Chollet, Gaëlle Largeteau-Skapin, Eric Andres, Guy Wallet, Laurent Fuchs

Publication date: 19 August 2009

Published in: Pattern Recognition (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.patcog.2008.12.005

zbMATH Keywords

constructive mathematicsnonstandard analysisdiscrete geometryarithmetization

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 (6)

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 ⋮ Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective ⋮ Some representations of real numbers using integer sequences

Uses Software

• Nuprl

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intuitionism. An introduction
• Eine Erweiterung der Infinitesimalrechnung
• A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction
• The calculus of constructions
• Nonstandard analysis and constructivism?
• Constructivism in mathematics. An introduction. Volume I
• Constructive mathematics: a foundation for computable analysis
• Back and forth between continuous and discrete for the working computer scientist
• A model for intuitionistic non-standard arithmetic
• A constructive approach to nonstandard analysis
• Radically Elementary Probability Theory. (AM-117)
• Internal set theory: A new approach to nonstandard analysis
• Developments in Constructive Nonstandard Analysis
• Constructive Mathematics in Theory and Programming Practice
• Discrete linear objects in dimension n: the standard model
• A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis

This page was built for publication: Insight in discrete geometry and computational content of a discrete model of the continuum