Automated Deduction in Geometry
5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Hoon Hong
Themen in »Automated Deduction in Geometry«
automated deduction computational geometry computer vision computer-aided design dynamic geometry formal verification geometric deduction geometric modeling geometric optimization geometric problem solving geometry software kinematics optimization proving theorem proving
Stimmen zu »Automated Deduction in Geometry«
Details
ISBN: 9783540313328
Verlag: Springer Berlin
Erscheinung: 25.01.2006