1. Foreword

   • Pascal Schreck
   • Tetsuo Ida
   • Laura Kovacs

   EditorialNotes 26 January 2019 Pages: 71 - 72

2. Rewriting input expressions in complex algebraic geometry provers

   • Z. Kovács
   • T. Recio
   • C. Sólyom-Gecse

   OriginalPaper 04 June 2018 Pages: 73 - 87

3. From informal to formal proofs in Euclidean geometry

   • Sana Stojanović-Ðurđević

   OriginalPaper 29 August 2018 Pages: 89 - 117

4. Portfolio theorem proving and prover runtime prediction for geometry

   • Mladen Nikolić
   • Vesna Marinković
   • Predrag Janičić

   OriginalPaper 06 September 2018 Pages: 119 - 146

5. Towards a better integration of modelers and black box constraint solvers within the product design process

   • Jean-Philippe Pernot
   • Dominique Michelucci
   • Sebti Foufou

   OriginalPaper 18 September 2018 Pages: 147 - 173

6. Implementing Euclid’s straightedge and compass constructions in type theory

   • Ariel Kellison
   • Mark Bickford
   • Robert Constable

   OriginalPaper 26 September 2018 Pages: 175 - 192

7. Two cryptomorphic formalizations of projective incidence geometry

   • David Braun
   • Nicolas Magaud
   • Pascal Schreck

   OriginalPaper 24 October 2018 Pages: 193 - 212

8. Proof-checking Euclid

   • Michael Beeson
   • Julien Narboux
   • Freek Wiedijk

   OriginalPaper Open access 10 January 2019 Pages: 213 - 257

   

9. Can one design a geometry engine?

   • Johann A. Makowsky

   OriginalPaper 12 December 2018 Pages: 259 - 291