Pages that link to "Item:Q2354911"
From MaRDI portal
The following pages link to Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective (Q2354911):
Displaying 9 items.
- Insight in discrete geometry and computational content of a discrete model of the continuum (Q834257) (← links)
- An intuitionistic proof of a discrete form of the Jordan curve theorem formalized in Coq with combinatorial hypermaps (Q839032) (← links)
- Foundational aspects of multiscale digitization (Q1935768) (← links)
- Formalization of the Poincaré disc model of hyperbolic geometry (Q2031408) (← links)
- Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective (Q2354911) (← links)
- Multi-scale arithmetization of linear transformations (Q2417932) (← links)
- Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL (Q3102733) (← links)
- Theorem Proving in Higher Order Logics (Q5464649) (← links)
- Some representations of real numbers using integer sequences (Q5877245) (← links)