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. In David Coeurjolly, Isabelle Sivignon, Laure Tougne, Florent Dupont, editors, Discrete Geometry for Computer Imagery, 14th IAPR International Conference, DGCI 2008, Lyon, France, April 16-18, 2008. Proceedings. Volume 4992 of Lecture Notes in Computer Science, pages 21-32, Springer, 2008. [doi]
Abstract is missing.