scientific article; zbMATH DE number 177656
From MaRDI portal
Publication:4037536
Recommendations
Cited in
(5)- Insight in discrete geometry and computational content of a discrete model of the continuum
- Arithmetization of a circular arc
- A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis
- Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective
- Foundational aspects of multiscale digitization
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4037536)