| 1 | -- | 3 | J. Rafael Sendra, Dongming Wang, Jing Yang. Foreword |
| 5 | -- | 25 | Francisco Botana, Tomás Recio. On the Unavoidable Uncertainty of Truth in Dynamic Geometry Proving |
| 27 | -- | 39 | Pascal Schreck, Vesna Marinkovic, Predrag Janicic. Constructibility Classes for Triangle Location Problems |
| 41 | -- | 56 | Pascal Schreck, Pascal Mathis. Automatic Constructibility Checking of a Corpus of Geometric Construction Problems |
| 57 | -- | 73 | Julien Narboux, David Braun. Towards a Certified Version of the Encyclopedia of Triangle Centers |
| 75 | -- | 96 | Changpeng Shao, Hongbo Li, Lei Huang. Challenging Theorem Provers with Mathematical Olympiad Problems in Solid Geometry |
| 97 | -- | 113 | Leo Dorst. The Construction of 3D Conformal Motions |
| 115 | -- | 141 | John Christopher Bowers, Ileana Streinu. Geodesic Universal Molecules |
| 143 | -- | 163 | Daniel Lichtblau. First Order Perturbation and Local Stability of Parametrized Systems |
| 165 | -- | 178 | Josep M. Brunat, Antonio Montes. Computing the Canonical Representation of Constructible Sets |
| 179 | -- | 205 | Giorgio Ricca, Mauro C. Beltrametti, Anna Maria Massone. Detecting Curves of Symmetry in Images Via Hough Transform |