Algebraic Approaches to Geometric Reasoning
Annals of Mathematics and Artificial Intelligence
Volume 13, I-II (1995) Editors: H. Hong, D. Wang and F. Winkler
Table of contents:
-
pp. 1-24:
-
D. Wang, Elimination procedures for mechanical theorem
proving in geometry
-
pp. 25-46:
-
Z. Li, Mechanical theorem proving of the local theory of
surfaces
-
pp. 47-72:
-
M. A. Alberti, G. CarrA Ferro, B. Lammoglia and M. Torelli,
The dimension method in elementary and differential geometry
-
pp. 73-96:
-
M. Kalkbrener, A generalized Euclidean algorithm for
geometry theorem proving
-
pp. 97-108:
-
J. P. Dalbec, Straightening Euclidean variants
-
pp. 109-138:
-
J.-Z. Zhang, S.-C. Zhou and X.-S. Gao, Automated
production of traditional proofs for theorems in Euclidian geometry
-
pp. 139-172:
-
J. Richter-Gebert, Mechanical theorem proving in
projective geometry
-
pp. 173-194:
-
J. Pfalzgraf, A category of geomtric spaces: Some
computational aspects
-
pp. 195-202:
-
Appendix: Short description of existing provers
Editor-in-Chief:
Martin Charles Golumbic
Department of Mathematics and Computer Science
Bar Ilan University, Ramat Gan, Israel
E-mail: golumbic@vm.biu.ac.il or golumbic@haifasc3.vnet.ibm.com
Fax: +972 3 535 3325
Associate Editor:
A. Nerode
Mathematical Sciences Research Institute
Cornell University, Ithaca, NY 14853, USA
Submissions of articles and proposals for special issues are to be
addressed to the Editor-in-Chief.
Requests for free specimen copies and orders for Annals of
Mathematics and Artificial Intelligence are to be sent to:
E-mail: publish@baltzer.nl