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

Laurent Fuchs Gaëlle Largeteau-Skapin Guy Wallet Eric Andres Agathe Chollet A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis. 21-32 2008 DGCI http://dx.doi.org/10.1007/978-3-540-79126-3_4 conf/dgci/2008 db/conf/dgci/dgci2008.html#FuchsLWAC08