ADG 2016
ADG 2016
Différences entre les versions de « Contributed Talks »
De ADG 2016
Ligne 1 : | Ligne 1 : | ||
* Ciprian Borcea and Ileana Streinu ''Geometric deformations of sodalite frameworks'' | * Ciprian Borcea and Ileana Streinu ''Geometric deformations of sodalite frameworks'' | ||
− | * Md. Ashraful Alam and Ileana Streinu | + | * Md. Ashraful Alam and Ileana Streinu ''Geodesic Star Unfolding'' |
− | * Kazuko Takahashi, Sosuke Moriguchi and Mizuki Goto | + | * 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 | + | * 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 | + | * Manuel Ladra, Pilar Páez-Guillán and Tomás Recio ''The unexpected trick of Rabinowitsch'' |
− | * David Braun, Nicolas Magaud and Pascal Schreck | + | * 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 | + | * 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 | + | * Zoltán Kovács, Tomas Recio and Csilla Sólyom-Gecse ''Automatic rewrites of input expressions in computational algebraic geometry provers'' |
− | * John C. Bowers | + | * 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 | + | * Dan Song and Xiaoyu Chen ''Automated Generation of Keywords from Images for Geometric Information Search'' |
− | * Gabriel Braun, Pierre Boutry and Julien Narboux | + | * Gabriel Braun, Pierre Boutry and Julien Narboux ''From Hilbert to Tarski'' |
− | * Lionel Garnier and Jean-Paul Bécar | + | * Lionel Garnier and Jean-Paul Bécar ''Massic points, Bézier curves and conics: a survey'' |
− | * Pavel Pech | + | * Pavel Pech ''On a certain class of cubic surfaces related to the Simson--Wallace theorem'' |
− | * Vesna Marinkovic, Mladen Nikolic, Zoltan Kovacs and Predrag Janicic | + | * Vesna Marinkovic, Mladen Nikolic, Zoltan Kovacs and Predrag Janicic ''Portfolio Methods in Theorem Proving for Elementary Geometry'' |
Version du 27 mai 2016 à 12:54
- 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