Recognition of Computationally Constructed Loci. - Peter Lebmeir; Jürgen Richter-Gebert (Automated Deduction in Geometry, 2006)

Rotations, translations and symmetry detection for complexified curves. - Peter Lebmeir; Jürgen Richter-Gebert (Comput. Aided Geom. Des., 2008)

Diagrams, Tensors and Geometric Reasoning. - Jürgen Richter-Gebert; Peter Lebmeir (Discret. Comput. Geom., 2009)