Thomas Sturm Volker Weispfenning Computational Geometry Problems in REDLOG. 58-86 1996 conf/adg/1996 Automated Deduction in Geometry db/conf/adg/adg1996.html#SturmW96