Annals of Mathematics and Artificial Intelligence, Volume 13

Volume 13, Number 1-2, 1995

Dongming Wang: Elimination Procedures for Mechanical Theorem Proving in geometry. 1-24
Ziming Li: Mechanical Theorem Proving in the Local Theory of Surfaces. 25-46
Maria Alberta Alberti, Giuseppa Carrà Ferro, B. Lammoglia, Mauro Torelli: The Dimension Method in Elementary and Differential Geometry. 47-72
Michael Kalkbrener: A Generalized Euclidean Algorithm for Geometry Theorem Proving. 73-96
John P. Dalbec: Straightening Euclidean Invariants. 97-108
Jing-Zhong Zhang, Shang-Ching Chou, Xiao-Shan Gao: Automated Production of Traditional Proofs for Theorems in Euclidean Geometry. 109-138
Jürgen Richter-Gebert: Mechanical Theorem Proving in Projective Geometry. 139-172
Jochen Pfalzgraf: A Category of Geometric Spaces: Some Computational Aspects. 173-194
Appendix: Short Description of Existing Provers. 195-202

Isaac Weiss: Local Projective and Affine Invariants. 203-226
Alfred M. Bruckstein, Arun N. Netravali: On Differential Invariants of Planar Curves and Recognizing Partially Occluded. 227-250
Helmut Alt, Bernd Behrends, Johannes Blömer: Approximate Matching of Polygonal Shapes. 251-265
Georg Ch. Pflug: Random Planar Shapes and Their Statistical Recognition. 267-279
Laurent Hérault, Radu Horaud: Smooth Curve Extraction by Mean Field Annealing. 281-300
Xiaoyi Jiang, Horst Bunke: Optimal Implementation of Morphological Operations on Neighborhood-Connected Parallel Computers. 301-316
Frédéric Jurie, Jean Gallice: A Recognition Network Model-Based Approach to Dynamic Image Understanding. 317-345
David W. Eggert, Louise Stark, Kevin W. Bowyer: Aspect Graphs and Their use in Object Recognition. 347-375
Zhijing Xu, Minsoo Suk: Representation and Reconstruction of Polygons and Polyhedra Using Hierarchical Extended Gaussian Images. 377-401