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 (DGCI, 2008)

Omega-Arithmetization: A Discrete Multi-resolution Representation of Real Functions. - Agathe Chollet; Guy Wallet; Laurent Fuchs; Eric Andres; Gaëlle Largeteau-Skapin (IWCIA, 2009)

Insight in discrete geometry and computational content of a discrete model of the continuum. - Agathe Chollet; Guy Wallet; Laurent Fuchs; Gaëlle Largeteau-Skapin; Eric Andres (Pattern Recognit., 2009)

Omega-Arithmetization of Ellipses. - Agathe Chollet; Guy Wallet; Eric Andres; Laurent Fuchs; Gaëlle Largeteau-Skapin; Aurélie Richard (CompIMAGE, 2010)

Foundational aspects of multiscale digitization. - Agathe Chollet; Guy Wallet; Laurent Fuchs; Eric Andres; Gaëlle Largeteau-Skapin (Theor. Comput. Sci., 2012)

Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective. - Nicolas Magaud; Agathe Chollet; Laurent Fuchs (Ann. Math. Artif. Intell., 2015)