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 |