Constraint-based Approaches and Methods of Mathematical Modelling for Intelligent CAD/CAM/CAE systems: From Methods to Applications

21-23 June 2004, Akademgorodok, Novosibirsk, Russia

21-23 June 2004 по-русски


Professor Xiao-Shan GAO

Automation of Geometric Theorem Proving, Discovering and Diagram Generation

It is often said that "a picture is more than one thousand words." But in reality, it is still much more cumbersome or even difficult to generate pictures with computer software than to process words, especially when the pictures involve exact geometric relations. It is even more difficult to prove geometry theorems, which is considered as one of the hardest mental labor. In this presentation, we will introduce some effective methods for automated geometric theorem proving, discovering, and geometric diagram generation developed by us, including the area method, the deductive database method, the optimization method, and the c-tree decomposition method. Implementation and applications of the these methods to intelligent CAD/CAI, computer vision, robotics, and linkage design will also be discussed.

    Xiao-Shan Gao was born in 1963 in China. He received his PhD degree from the Chinese Academy of Sciences in 1988. He is a professor and the director of the Institute of Systems Science, Chinese Academy of Sciences. His research interests include geometric computation and reasoning, symbolic computation, robotics, CAD and CAGD. He has published over ninety research papers, two monographs and edited four books or conference proceedings.


Powered with SIB3