Journals in DBLP

Ann. Math. Artif. Intell.
1995, volume: 13, number: 1-2

1. Dongming Wang
   Elimination Procedures for Mechanical Theorem Proving in geometry. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1995, v:13, n:1-2, pp:1-24 [Journal]
   
2. Ziming Li
   Mechanical Theorem Proving in the Local Theory of Surfaces. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1995, v:13, n:1-2, pp:25-46 [Journal]
   
3. Maria Alberta Alberti, Giuseppa Carrà Ferro, B. Lammoglia, Mauro Torelli
   The Dimension Method in Elementary and Differential Geometry. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1995, v:13, n:1-2, pp:47-72 [Journal]
   
4. Michael Kalkbrener
   A Generalized Euclidean Algorithm for Geometry Theorem Proving. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1995, v:13, n:1-2, pp:73-96 [Journal]
   
5. John P. Dalbec
   Straightening Euclidean Invariants. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1995, v:13, n:1-2, pp:97-108 [Journal]
   
6. Jing-Zhong Zhang, Shang-Ching Chou, Xiao-Shan Gao
   Automated Production of Traditional Proofs for Theorems in Euclidean Geometry. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1995, v:13, n:1-2, pp:109-138 [Journal]
   
7. Jürgen Richter-Gebert
   Mechanical Theorem Proving in Projective Geometry. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1995, v:13, n:1-2, pp:139-172 [Journal]
   
8. Jochen Pfalzgraf
   A Category of Geometric Spaces: Some Computational Aspects. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1995, v:13, n:1-2, pp:173-194 [Journal]
   
9. 
   Appendix: Short Description of Existing Provers. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1995, v:13, n:1-2, pp:195-202 [Journal]