ADG 2016
ADG 2016
Différences entre les versions de « Contributed Talks »
De ADG 2016
Ligne 4 : | Ligne 4 : | ||
* Md. Ashraful Alam and Ileana Streinu ''[https://hal.inria.fr/hal-01334334/file/ADG2016-Proceedings%20.pdf#page=43 Geodesic Star Unfolding]'' | * Md. Ashraful Alam and Ileana Streinu ''[https://hal.inria.fr/hal-01334334/file/ADG2016-Proceedings%20.pdf#page=43 Geodesic Star Unfolding]'' | ||
* Kazuko Takahashi, Sosuke Moriguchi and Mizuki Goto ''[https://hal.inria.fr/hal-01334334/file/ADG2016-Proceedings%20.pdf#page=201 Formalization of a Surface Subdivision Allowing a Region with a Hole without Coordinates]'' | * Kazuko Takahashi, Sosuke Moriguchi and Mizuki Goto ''[https://hal.inria.fr/hal-01334334/file/ADG2016-Proceedings%20.pdf#page=201 Formalization of a Surface Subdivision Allowing a Region with a Hole without Coordinates]'' | ||
− | + | ||
[[Fichier:Ktakahashi-ADG2016.pdf|vignette|centré]] | [[Fichier:Ktakahashi-ADG2016.pdf|vignette|centré]] | ||
Ligne 11 : | Ligne 11 : | ||
* David Braun, Nicolas Magaud and Pascal Schreck ''[https://hal.inria.fr/hal-01334334/file/ADG2016-Proceedings%20.pdf#page=73 An Equivalence Proof Between Rank Theory and Incidence Projective Geometry]'' | * David Braun, Nicolas Magaud and Pascal Schreck ''[https://hal.inria.fr/hal-01334334/file/ADG2016-Proceedings%20.pdf#page=73 An Equivalence Proof Between Rank Theory and Incidence Projective Geometry]'' | ||
− | [[Fichier:Braun-ADG2016.pdf|vignette]] | + | [[Fichier:Braun-ADG2016.pdf|vignette|centré]] |
* Miguel A. Abánades, Francisco Botana, Zoltán Kovács, Tomás Recio and Csilla Sólyom-Gecse ''[https://hal.inria.fr/hal-01334334/file/ADG2016-Proceedings%20.pdf#page=34 Implementing Automatic Discovery in GeoGebra]'' | * Miguel A. Abánades, Francisco Botana, Zoltán Kovács, Tomás Recio and Csilla Sólyom-Gecse ''[https://hal.inria.fr/hal-01334334/file/ADG2016-Proceedings%20.pdf#page=34 Implementing Automatic Discovery in GeoGebra]'' | ||
* Zoltán Kovács, Tomas Recio and Csilla Sólyom-Gecse ''[https://hal.inria.fr/hal-01334334/file/ADG2016-Proceedings%20.pdf#page=148 Automatic Rewrites of Input Expressions in Complex Algebraic Geometry Provers]'' | * Zoltán Kovács, Tomas Recio and Csilla Sólyom-Gecse ''[https://hal.inria.fr/hal-01334334/file/ADG2016-Proceedings%20.pdf#page=148 Automatic Rewrites of Input Expressions in Complex Algebraic Geometry Provers]'' | ||
− | [[Fichier:Kovacs-ADG2016.pdf|vignette]] | + | [[Fichier:Kovacs-ADG2016.pdf|vignette|centré]] |
* John C. Bowers ''[https://hal.inria.fr/hal-01334334/file/ADG2016-Proceedings%20.pdf#page=65 Computing the Straight Skeleton of a Simple Polygon from its Motorcycle Graph in Deterministic O(n.log n) Time]'' | * John C. Bowers ''[https://hal.inria.fr/hal-01334334/file/ADG2016-Proceedings%20.pdf#page=65 Computing the Straight Skeleton of a Simple Polygon from its Motorcycle Graph in Deterministic O(n.log n) Time]'' | ||
Ligne 21 : | Ligne 21 : | ||
* Gabriel Braun, Pierre Boutry and Julien Narboux ''[https://hal.inria.fr/hal-01334334/file/ADG2016-Proceedings%20.pdf#page=89 From Hilbert to Tarski]'' | * Gabriel Braun, Pierre Boutry and Julien Narboux ''[https://hal.inria.fr/hal-01334334/file/ADG2016-Proceedings%20.pdf#page=89 From Hilbert to Tarski]'' | ||
− | [[Fichier:Narboux-ADG2016.pdf|vignette]] | + | [[Fichier:Narboux-ADG2016.pdf|vignette|centré]] |
* Lionel Garnier and Jean-Paul Bécar ''[https://hal.inria.fr/hal-01334334/file/ADG2016-Proceedings%20.pdf#page=108 Massic points, Bézier Curves and Conics: a Survey]'' | * Lionel Garnier and Jean-Paul Bécar ''[https://hal.inria.fr/hal-01334334/file/ADG2016-Proceedings%20.pdf#page=108 Massic points, Bézier Curves and Conics: a Survey]'' | ||
* Pavel Pech ''[https://hal.inria.fr/hal-01334334/file/ADG2016-Proceedings%20.pdf#page=173 On a Certain Class of Cubic Surfaces Related to the Simson--Wallace Theorem]'' | * Pavel Pech ''[https://hal.inria.fr/hal-01334334/file/ADG2016-Proceedings%20.pdf#page=173 On a Certain Class of Cubic Surfaces Related to the Simson--Wallace Theorem]'' | ||
− | [[Fichier:Pech-ADG2016.pdf|vignette]] | + | [[Fichier:Pech-ADG2016.pdf|vignette|centré]] |
* Vesna Marinkovic, Mladen Nikolic, Zoltan Kovacs and Predrag Janicic ''[https://hal.inria.fr/hal-01334334/file/ADG2016-Proceedings%20.pdf#page=163 Portfolio Methods in Theorem Proving for Elementary Geometry]'' | * Vesna Marinkovic, Mladen Nikolic, Zoltan Kovacs and Predrag Janicic ''[https://hal.inria.fr/hal-01334334/file/ADG2016-Proceedings%20.pdf#page=163 Portfolio Methods in Theorem Proving for Elementary Geometry]'' | ||
− | [[Fichier:Janicic-Geo-portfolio-ADG2016.pdf|vignette]] | + | [[Fichier:Janicic-Geo-portfolio-ADG2016.pdf|vignette|centré]] |
Version du 3 juillet 2016 à 13:44
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 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