Annals of Mathematics and Artificial Intelligence, Volume 13

> Home > Journals > Annals of Mathematics and Artificial Intelligence

Volume 13, Number 1-2, 1995

- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/amai/Wang95
- ask others
Dongming Wang:
Elimination Procedures for Mechanical Theorem Proving in geometry. 1-24
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/amai/Li95
- ask others
Ziming Li:
Mechanical Theorem Proving in the Local Theory of Surfaces. 25-46
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/amai/AlbertiFLT95
- ask others
Maria Alberta Alberti, Giuseppa Carrà Ferro, B. Lammoglia, Mauro Torelli:
The Dimension Method in Elementary and Differential Geometry. 47-72
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/amai/Kalkbrener95
- ask others
Michael Kalkbrener:
A Generalized Euclidean Algorithm for Geometry Theorem Proving. 73-96
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/amai/Dalbec95
- ask others
John P. Dalbec:
Straightening Euclidean Invariants. 97-108
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/amai/ZhangCG95
- ask others
Jing-Zhong Zhang, Shang-Ching Chou, Xiao-Shan Gao:
Automated Production of Traditional Proofs for Theorems in Euclidean Geometry. 109-138
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/amai/Richter-Gebert95
- ask others
Jürgen Richter-Gebert:
Mechanical Theorem Proving in Projective Geometry. 139-172
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/amai/Pfalzgraf95
- ask others
Jochen Pfalzgraf:
A Category of Geometric Spaces: Some Computational Aspects. 173-194
- no documents available
- export record as
  dblp key:
  - journals/amai/X95
- ask others
Appendix: Short Description of Existing Provers. Ann. Math. Artif. Intell. 13(1-2): 195-202 (1995)

Volume 13, Number 3-4, 1995

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