Automated Deduction in Geometry
Subtitle: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers (Lecture Notes in Computer Science)
Contributors: Hoon Hong (Editor); Dongming Wang (Editor)
Edition: 1 edition
Publisher: Springer
Published: March 16, 2006
Language: eng
Format: Paperback
Number of pages: 213
ISBN-13: 9783540313328
Subjects: Computing and Information Technology; Science/Mathematics; Discrete Mathematics; Mathematics; Computers - General Information; Artificial Intelligence - General; Logic; Computers / Artificial Intelligence; automated deduction; computational geometry; computer vision; computer-aided design; dynamic geometry; formal verification; geometric deduction; geometric modeling; geometric optimization; geometric problem solving; geometric reasoning; geometric theorem proving