Peter Lebmeir

Publication Activity (10 Years)

Years Active: 2006-2009
Publications (10 Years): 0

Publications

Jürgen Richter-Gebert, Peter Lebmeir
Diagrams, Tensors and Geometric Reasoning. Discret. Comput. Geom. 42 (2) (2009)
Peter Lebmeir, Jürgen Richter-Gebert
Rotations, translations and symmetry detection for complexified curves. Comput. Aided Geom. Des. 25 (9) (2008)
Peter Lebmeir, Jürgen Richter-Gebert
Recognition of Computationally Constructed Loci. Automated Deduction in Geometry (2006)