The following pages link to (Q3268765):
Displaying 9 items.
- Universal hyperbolic geometry. I: Trigonometry (Q357847) (← links)
- A constructive version of Tarski's geometry (Q490871) (← links)
- An alternative construction of Conway's ordered field No (Q1102272) (← links)
- Errata to ``An alternative construction of Conway's ordered field No.'' (Q1108261) (← links)
- On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving (Q1121669) (← links)
- Wanda Szmielew 1918-1976 (Q1247846) (← links)
- Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq (Q1725841) (← links)
- Poincaré on the value of reasoning machines (Q6554712) (← links)
- Model-theoretic properties of nilpotent groups and Lie algebras (Q6639812) (← links)
