Insight in discrete geometry and computational content of a discrete model of the continuum
type: Item
instance of: scholarly article
title: Insight in discrete geometry and computational content of a discrete model of the continuum
zbMATH Open document ID: 1178.68614
author: Agathe Chollet
author: Guy Wallet
author: Laurent Fuchs
author: Gaëlle Largeteau-Skapin
author: Eric Andres
published in: Pattern Recognition
publication date: 2009-08-19T00:00:00Z
Mathematics Subject Classification ID: 68U05
Mathematics Subject Classification ID: 03F60
Mathematics Subject Classification ID: 03H05
zbMATH DE Number: 5596857
zbMATH Keywords: discrete geometry
zbMATH Keywords: nonstandard analysis
zbMATH Keywords: arithmetization
zbMATH Keywords: constructive mathematics
describes a project that uses: Nuprl
MaRDI profile type: Publication
full work available at URL: j.patcog.2008.12.005
OpenAlex ID: W4301202938
cites work: Q3331221
cites work: Q3141106
cites work: Q4948843
cites work: Back and forth between continuous and discrete for the working computer scientist
cites work: Q3803111
cites work: Q3328540
cites work: Constructive mathematics: a foundation for computable analysis
cites work: A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis
cites work: Discrete linear objects in dimension n: the standard model
cites work: Q3993282
cites work: Q4023940
cites work: Q5573965
cites work: Q4037536
cites work: Internal set theory: A new approach to nonstandard analysis
cites work: Radically Elementary Probability Theory. (AM-117)
cites work: Q4037535
cites work: A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction
cites work: The calculus of constructions
cites work: Q3679172
cites work: Constructivism in mathematics. An introduction. Volume I
cites work: Intuitionism. An introduction
cites work: Constructive Mathematics in Theory and Programming Practice
cites work: Q4400510
cites work: Q3141102
cites work: Q4529744
cites work: Nonstandard analysis and constructivism?
cites work: Q5752569
cites work: A model for intuitionistic non-standard arithmetic
cites work: A constructive approach to nonstandard analysis
cites work: Developments in Constructive Nonstandard Analysis
cites work: Eine Erweiterung der Infinitesimalrechnung
cites work: Q4037514
DOI: 10.1016/J.PATCOG.2008.12.005
description: scientific article; zbMATH DE number 5596857