The following pages link to Brouwer and Euclid (Q1688971):
Displaying 4 items.
- A direct proof of the Steiner-Lehmus theorem (Q2154134) (← links)
- Lippmann's axiom and Lebesgue's axiom are equivalent to the Lotschnittaxiom (Q2334485) (← links)
- Implementing Euclid's straightedge and compass constructions in type theory (Q2631963) (← links)
- Why did Euclid not need the Pasch axiom? (Q6121100) (← links)
