Volume 10, Issue 1

March 2016

Geometric Computation

Issue Editors:

11 articles in this issue

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

Search