The following pages link to Constructive Mathematics (Q3755455):
Displayed 5 items.
- A constructive real projective plane (Q265603) (← links)
- Constructive irrational space (Q1104321) (← links)
- An epistemological use of nonstandard analysis to answer Zeno's objections against motion (Q1198417) (← links)
- A constructive version of the Sylvester-Gallai theorem (Q1701339) (← links)
- Constructive projective extension of an incidence plane (Q5402107) (← links)