Contributed Talks

• Ciprian Borcea and Ileana Streinu Geometric deformations of sodalite frameworks
• Md. Ashraful Alam and Ileana Streinu "Geodesic Star Unfolding"
• Kazuko Takahashi, Sosuke Moriguchi and Mizuki Goto "Formalization of a Surface Subdivision Allowing a Region with a Hole without Coordinates"
• Tetsuo Ida, Jacques Fleuriot and Fadoua Ghourabi "A New Formalization of Origami in Geometric Algebra"
• Manuel Ladra, Pilar Páez-Guillán and Tomás Recio "The unexpected trick of Rabinowitsch"
• David Braun, Nicolas Magaud and Pascal Schreck "An equivalence proof between rank theory and incidence projective geometry"
• Miguel A. Abánades, Francisco Botana, Zoltán Kovács, Tomás Recio and Csilla Sólyom-Gecse "Implementing Automatic Discovery in GeoGebra"
• Zoltán Kovács, Tomas Recio and Csilla Sólyom-Gecse "Automatic rewrites of input expressions in computational algebraic geometry provers"
• John C. Bowers "Computing the Straight Skeleton of a Simple Polygon from its Motorcycle Graph in Deterministic $O(n\log n)$ Time"
• Dan Song and Xiaoyu Chen "Automated Generation of Keywords from Images for Geometric Information Search"
• Gabriel Braun, Pierre Boutry and Julien Narboux "From Hilbert to Tarski"
• Lionel Garnier and Jean-Paul Bécar "Massic points, Bézier curves and conics: a survey"
• Pavel Pech "On a certain class of cubic surfaces related to the Simson--Wallace theorem"
• Vesna Marinkovic, Mladen Nikolic, Zoltan Kovacs and Predrag Janicic "Portfolio Methods in Theorem Proving for Elementary Geometry"