Automated Deduction in Geometry
Subtitle: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers (Lecture ... / Lecture Notes in Artificial Intelligence)
Edition: 1 edition
Publisher: Springer
Published: April 24, 1998
Language: eng
Format: Paperback
Number of pages: 235
ISBN-13: 9783540642978
Subjects: Artificial intelligence; Geometry; Mathematical theory of computation; Topology; Mathematics; Data processing; Science/Mathematics; Automata; Computers - General Information; Logic, Symbolic and mathematical; Logic, Symbolic and mathematic; Artificial Intelligence - General; Programming Languages - General; Automated deduction; Clifford Algebra; Computer Algebra; Computers / Artificial Intelligence; Geometric Reasoning; Grassmann Geometry; Automatic theorem proving; Computer Graphics - General; Geometry - General; Congresses
First sentence: Developing computer programs to prove geometry theorems attracted a great deal of attention in Artificial Intelligence research in its early days.