Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals 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 - 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. Ann. Math. Artif. Intell. 13(1-2): 195-202 (1995)
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 - Helmut Alt, Bernd Behrends, Johannes Blömer:
Approximate Matching of Polygonal Shapes. 251-265 - Georg Ch. Pflug
:
Random Planar Shapes and Their Statistical Recognition. 267-279 - Laurent Hérault, Radu Horaud:
Smooth Curve Extraction by Mean Field Annealing. 281-300 - 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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-19 19:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
