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