Agathe Chollet

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 0

Top Topics

Multiresolution

Discrete Geometry

Image Representation

Top Venues

Ann. Math. Artif. Intell.

Theor. Comput. Sci.

Publications

Nicolas Magaud, Agathe Chollet, Laurent Fuchs
Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective. Ann. Math. Artif. Intell. 74 (3-4) (2015)
Agathe Chollet, Guy Wallet, Laurent Fuchs, Eric Andres, Gaëlle Largeteau-Skapin
Foundational aspects of multiscale digitization. Theor. Comput. Sci. 466 (2012)
Agathe Chollet, Guy Wallet, Eric Andres, Laurent Fuchs, Gaëlle Largeteau-Skapin, Aurélie Richard
Omega-Arithmetization of Ellipses. CompIMAGE (2010)
Agathe Chollet, Guy Wallet, Laurent Fuchs, Gaëlle Largeteau-Skapin, Eric Andres
Insight in discrete geometry and computational content of a discrete model of the continuum. Pattern Recognit. 42 (10) (2009)
Agathe Chollet, Guy Wallet, Laurent Fuchs, Eric Andres, Gaëlle Largeteau-Skapin
Omega-Arithmetization: A Discrete Multi-resolution Representation of Real Functions. IWCIA (2009)
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. DGCI (2008)