Agathe Chollet

Available identifiers

zbMath Open chollet.agatheMaRDI QIDQ834253

List of research outcomes

Publication	Date of Publication	Type
Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective	2015-07-27	Paper
Foundational aspects of multiscale digitization	2013-02-19	Paper
Ω-Arithmetization of Ellipses	2011-01-18	Paper
Ω-Arithmetization: A Discrete Multi-resolution Representation of Real Functions	2009-12-11	Paper
Insight in discrete geometry and computational content of a discrete model of the continuum	2009-08-19	Paper
A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis	2008-04-24	Paper

Research outcomes over time

This page was built for person: Agathe Chollet