constructive algorithms
geometry
