External Links

    Journal: Annals of Mathematics and Artificial Intelligence

    Volume 13, Issue 3-4

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

    Volume 13, Issue 1-2

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