Pages that link to "Item:Q2720298"
From MaRDI portal
The following pages link to Theorem proving in infinitesimal geometry (Q2720298):
Displaying 4 items.
- Formalization of the Poincaré disc model of hyperbolic geometry (Q2031408) (← links)
- Formalizing complex plane geometry (Q2354913) (← links)
- From informal to formal proofs in Euclidean geometry (Q2631958) (← links)
- Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL (Q3102733) (← links)