The following pages link to Agathe Chollet (Q834253):
Displayed 6 items.
- Insight in discrete geometry and computational content of a discrete model of the continuum (Q834257) (← links)
- Foundational aspects of multiscale digitization (Q1935768) (← links)
- Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective (Q2354911) (← links)
- Ω-Arithmetization of Ellipses (Q3069606) (← links)
- Ω-Arithmetization: A Discrete Multi-resolution Representation of Real Functions (Q3651624) (← links)
- A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis (Q5458871) (← links)