Geometric and Solid Modeling: An Introduction (The Morgan Kaufmann Series in Computer Graphics and Geometric Modeling) 2004 · ENGLISH · PDF View details →
Automated Deduction in Geometry: Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers 2001 · ENGLISH · PDF View details →
Automated Deduction in Geometry: Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers 2001 · ENGLISH · PDF View details →
Automated Deduction in Geometry: Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers 2001 · ENGLISH · PDF View details →
Reliable Implementation of Real Number Algorithms: Theory and Practice: International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers 2008 · ENGLISH · PDF View details →
Reliable implementation of real number algorithms theory and practice, international seminar Dagstuhl Castle, Germany, January 8-13, 2006 revised papers 2008 · ENGLISH · PDF View details →