Agathe Chollet

According to our database, Agathe Chollet authored at least 6 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

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

2012

Foundational aspects of multiscale digitization.

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

Theor. Comput. Sci., 2012

2010

Omega-Arithmetization of Ellipses.

Agathe Chollet, Guy Wallet, Eric Andres, Laurent Fuchs, Gaëlle Largeteau-Skapin, Aurélie Richard

Proceedings of the Computational Modeling of Objects Represented in Images, 2010

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: A Discrete Multi-resolution Representation of Real Functions.

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

Proceedings of the Combinatorial Image Analysis, 13th International Workshop, 2009

2008

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

Proceedings of the Discrete Geometry for Computer Imagery, 2008