Contributed Talks

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

Slides

• Manuel Ladra, Pilar Páez-Guillán and Tomás Recio Two Ways of Using Rabinowitsch Trick for Imposing Non-degeneracy Conditions
• 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 Complex 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