Book Details

Automated Deduction in Geometry

Publication year: 2007

ISBN: 978-3-540-77356-6

Internet Resource: Please Login to download book


The book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to different branches of mathematics and to other sciences and technologies.


Subject: Computer Science, 3D-geometry, algorithm verification, algorithms, automated deduction, automatic discovering, cognition, computational geometry, computer vision, computer-aided design, dynamic geometry, formal reasoning, formal verification, proving, theorem proving, verification