real geometry proving
geometric theorem proving
computational geometry
solid modeling
generic quantifier elimination
geometric feasibility