@inproceedings{b3e4b42eb2fb4ade88fabd7edc1cb3d5,
title = "Geometry machines: From AI to SMC",
abstract = "The existing techniques and software tools for automated geometry theorem proving (GTP) are examined and reviewed. The underlying ideas of various approaches are explained with a set of selected examples. Comments and analyses are provided to illustrate the encouraging success of GTP which interrelates AI and SMC. We also present some technological applications of GTP and discuss its challenges ahead.",
author = "Dongming Wang",
note = "Publisher Copyright: {\textcopyright} Springer-Vedag Berlin Heidelberg 1996.; 3rd International Conference on Artificial Intelligence and Symbolic Mathematical Computation, AISMC 1996 ; Conference date: 23-09-1996 Through 25-09-1996",
year = "1996",
doi = "10.1007/3-540-61732-9\_60",
language = "英语",
isbn = "3540617329",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "213--239",
editor = "Jacques Calmet and Campbell, \{John A.\} and Jochen Pfalzgraf",
booktitle = "Artificial Intelligence and Symbolic Mathematical Computation - International Conference, AISMC-3, 1996 Proceedings",
address = "德国",
}