Computer-assisted proof in mathematics has been underway since the pioneering times of computers in the 1950s. Starting from early systems with very limited capability, Computer-Assisted Theorem Proving has evolved to demonstrate theorems never proved before by humans  and assist with monumental efforts spanning several man-years . In this endeavour, geometry plays an important part, just as it has throughout the history of mathematics. This is due to its pervasive role: it is a paradigmatic form of reasoning, with applications to education, mathematical and physical research, but also to many applied areas such as robotics, computer vision, and CAD . Moreover, many of the search techniques and other algorithmic features developed for geometric reasoning have influenced other areas of artificial intelligence.
|Title of host publication||Handbook of Geometric Constraint Systems Principles|
|Place of Publication||New York, USA|
|Publisher||Chapman and Hall/CRC|
|Number of pages||39|
|Publication status||Published - 1 Aug 2018|