The following pages link to Ω-Arithmetization of Ellipses (Q3069606):
Displaying 4 items.
- Foundational aspects of multiscale digitization (Q1935768) (← links)
- Multi-scale arithmetization of linear transformations (Q2417932) (← links)
- An arithmetic proof of John's ellipsoid theorem (Q2487025) (← links)
- Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL (Q3102733) (← links)