Automated Deduction in Geometry
Subtitle: 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers
By: edited by Thomas Sturm, Christoph Zengler
Contributors: Zengler, Christoph; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6301
Publisher: Springer Berlin Heidelberg; Springer
Published: 2011
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 234
ISBN-13: 9783642210457; 9783642210464
Subjects: Logic design; Computational complexity; Computer graphics; Discrete groups; Computer science; Artificial intelligence