ask others

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
  dblp key:
  - journals/amai/Wang95
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/amai/Wang95
Dongming Wang:
Elimination Procedures for Mechanical Theorem Proving in geometry. 1-24
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/amai/Li95
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/amai/Li95
Ziming Li:
Mechanical Theorem Proving in the Local Theory of Surfaces. 25-46
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/amai/AlbertiFLT95
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/amai/AlbertiFLT95
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
  dblp key:
  - journals/amai/Kalkbrener95
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/amai/Kalkbrener95
Michael Kalkbrener:
A Generalized Euclidean Algorithm for Geometry Theorem Proving. 73-96
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/amai/Dalbec95
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/amai/Dalbec95
John P. Dalbec:
Straightening Euclidean Invariants. 97-108
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/amai/ZhangCG95
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/amai/ZhangCG95
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
  dblp key:
  - journals/amai/Richter-Gebert95
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/amai/Richter-Gebert95
Jürgen Richter-Gebert:
Mechanical Theorem Proving in Projective Geometry. 139-172
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/amai/Pfalzgraf95
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/amai/Pfalzgraf95
Jochen Pfalzgraf:
A Category of Geometric Spaces: Some Computational Aspects. 173-194
- no documents available
- export record
  dblp key:
  - journals/amai/X95
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/amai/X95
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
  dblp key:
  - journals/amai/Weiss95
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/amai/Weiss95
Isaac Weiss:
Local Projective and Affine Invariants. 203-226
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/amai/BrucksteinN95
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/amai/BrucksteinN95
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
  dblp key:
  - journals/amai/AltBB95
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/amai/AltBB95
Helmut Alt, Bernd Behrends, Johannes Blömer:
Approximate Matching of Polygonal Shapes. 251-265
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/amai/Pflug95
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/amai/Pflug95
Georg Ch. Pflug:
Random Planar Shapes and Their Statistical Recognition. 267-279
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/amai/HeraultH95
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/amai/HeraultH95
Laurent Hérault, Radu Horaud:
Smooth Curve Extraction by Mean Field Annealing. 281-300
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/amai/JiangB95
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/amai/JiangB95
Xiaoyi Jiang, Horst Bunke:
Optimal Implementation of Morphological Operations on Neighborhood-Connected Parallel Computers. 301-316
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/amai/JurieG95
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/amai/JurieG95
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
  dblp key:
  - journals/amai/EggertSB95
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/amai/EggertSB95
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
  dblp key:
  - journals/amai/XuS95
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/amai/XuS95
Zhijing Xu, Minsoo Suk:
Representation and Reconstruction of Polygons and Polyhedra Using Hierarchical Extended Gaussian Images. 377-401

maintained by

at