Pages that link to "Item:Q3102743"
From MaRDI portal
The following pages link to An Investigation of Hilbert’s Implicit Reasoning through Proof Discovery in Idle-Time (Q3102743):
Displaying 4 items.
- Formalization of the Poincaré disc model of hyperbolic geometry (Q2031408) (← links)
- Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL (Q2102946) (← links)
- From informal to formal proofs in Euclidean geometry (Q2631958) (← links)
- Formalising geometric axioms for Minkowski spacetime and without-loss-of-generality theorems (Q6653966) (← links)
