Publication year: 2007
: 978-3-540-77356-6
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.
: 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