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

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