Abstract is missing.
- Proof and Computation in GeometryMichael Beeson. 1-30 [doi]
- Automation of Geometry - Theorem Proving, Diagram Generation, and Knowledge ManagementDongming Wang. 31-32 [doi]
- Improving Angular Speed Uniformity by C 1 Piecewise ReparameterizationJing Yang, Dongming Wang, Hoon Hong. 33-47 [doi]
- Extending the Descartes Circle Theorem for Steiner n-CyclesShuichi Moritsugu. 48-58 [doi]
- Equation Systems with Free-Coordinates DeterminantsPascal Mathis, Pascal Schreck. 59-70 [doi]
- Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex HullsChristophe Brun, Jean-François Dufourd, Nicolas Magaud. 71-88 [doi]
- From Tarski to HilbertGabriel Braun, Julien Narboux. 89-109 [doi]
- Realizations of Volume FrameworksCiprian Borcea, Ileana Streinu. 110-119 [doi]
- Rigidity of Origami Universal MoleculesJohn Christopher Bowers, Ileana Streinu. 120-142 [doi]
- Algebraic Analysis of Huzita's Origami Operations and Their ExtensionsFadoua Ghourabi, Asem Kasem, Cezary Kaliszyk. 143-160 [doi]
- On the Formal Analysis of Geometrical Optics in HOLUmair Siddique, Vincent Aravantinos, Sofiène Tahar. 161-180 [doi]
- Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter ProofsSana Stojanovic. 181-192 [doi]