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
Volume 13, Number 3-4, 1995
- 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
- Georg Ch. Pflug: Random Planar Shapes and Their Statistical Recognition. 267-279
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2014-07-31T181706 by the dblp team