[L4] ================================================ AMAST Links 02 05

              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