ADG 2016
ADG 2016
Différences entre les versions de « Contributed Talks »
De ADG 2016
(Page créée avec « TBA ») |
|||
| Ligne 1 : | Ligne 1 : | ||
| − | + | ||
| + | * 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" | ||
Version du 27 mai 2016 à 12:53
- 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"
