Agathe Chollet
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective Annals of Mathematics and Artificial Intelligence | 2015-07-27 | Paper |
| Foundational aspects of multiscale digitization Theoretical Computer Science | 2013-02-19 | Paper |
| Ω-Arithmetization of Ellipses Computational Modeling of Objects Represented in Images | 2011-01-18 | Paper |
| \(\Omega\)-arithmetization: a discrete multi-resolution representation of real functions Lecture Notes in Computer Science | 2009-12-11 | Paper |
| Insight in discrete geometry and computational content of a discrete model of the continuum Pattern Recognition | 2009-08-19 | Paper |
| A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis Discrete Geometry for Computer Imagery | 2008-04-24 | Paper |
Research outcomes over time
This page was built for person: Agathe Chollet
