by Jürgen Richter-Gebert, Dongming Wang
Automated Deduction in Geometry: Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers<br />Author: Jürgen Richter-Gebert, Dongming Wang<br /> Published by…