Pages that link to "Item:Q1640646"
From MaRDI portal
The following pages link to Formalization of the arithmetization of Euclidean plane geometry and applications (Q1640646):
Displaying 7 items.
- Towards an intelligent and dynamic geometry book (Q1701659) (← links)
- Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq (Q1725841) (← links)
- Formalization of the Poincaré disc model of hyperbolic geometry (Q2031408) (← links)
- A synthetic proof of Pappus' theorem in Tarski's geometry (Q2362204) (← links)
- Tarski geometry axioms. IV: Right angle (Q2416858) (← links)
- Proof-checking Euclid (Q2631965) (← links)
- Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries (Q2631966) (← links)
