Pages that link to "Item:Q1817064"

The following pages link to Back and forth between continuous and discrete for the working computer scientist (Q1817064):

Displayed 7 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)
• Multi-scale arithmetization of linear transformations (Q2417932) ‎ (← links)
• Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL (Q3102733) ‎ (← links)
• Arithmetization of a Circular Arc (Q3648797) ‎ (← links)
• A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis (Q5458871) ‎ (← links)