国际刊号：
1012-2443
出版周期：
Frequency varies
| 序号 | 标题 | 作者 | 起始页 | 操作 |
|---|---|---|---|---|
| 1 | Formalization of geometry, automated and interactive geometric reasoning | Zoltan Kovacs, Predrag Janicic | 751 | |
| 2 | Automated discovery of angle theorems | Philip Todd | 753 | |
| 3 | A program to create new geometry proof problems | Philip Todd, Danny Aley | 779 | |
| 4 | Automated generation of illustrated proofs in geometry and beyond | Predrag Janicic, Julien Narboux | 797 | |
| 5 | Automated triangle constructions in hyperbolic geometry | Vesna Marinkovic, Tijana Sukilovic, Filip Maric | 821 | |
| 6 | Towards a geometry deductive database prover | Nuno Baeta, Pedro Quaresma | 851 | |
| 7 | Local critical analysis of inequalities related to the sum of distances between n points on the unit hemisphere for n = 4,5 | Yaochen Xu, Zhenbing Zeng, Jian Lu... | 865 |
