The following pages link to (Q4094049):
Displaying 6 items.
- A constructive version of Tarski's geometry (Q490871) (← links)
- Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq (Q1725841) (← links)
- The differential: Nineteenth and twentieth century developments (Q1846855) (← links)
- Formalization of the Poincaré disc model of hyperbolic geometry (Q2031408) (← links)
- Operationalism: an interpretation of the philosophy of ancient Greek geometry (Q2154005) (← links)
- A synthetic proof of Pappus' theorem in Tarski's geometry (Q2362204) (← links)
