Outils personnels

ADG 2016

ADG 2016

Différences entre les versions de « Contributed Talks »

De ADG 2016

Aller à : navigation, rechercher
Ligne 2 : Ligne 2 :
  
 
* Ciprian Borcea and Ileana Streinu ''[https://hal.inria.fr/hal-01334334/file/ADG2016-Proceedings%20.pdf#page=55 Geometric deformations of sodalite frameworks]''
 
* Ciprian Borcea and Ileana Streinu ''[https://hal.inria.fr/hal-01334334/file/ADG2016-Proceedings%20.pdf#page=55 Geometric deformations of sodalite frameworks]''
* Md. Ashraful Alam and Ileana Streinu ''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 ''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=43 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''
+
* Tetsuo Ida, Jacques Fleuriot and Fadoua Ghourabi ''[https://hal.inria.fr/hal-01334334/file/ADG2016-Proceedings%20.pdf#page=43 A New Formalization of Origami in Geometric Algebra]''
* Manuel Ladra, Pilar Páez-Guillán and Tomás Recio ''The unexpected trick of Rabinowitsch''
+
* Manuel Ladra, Pilar Páez-Guillán and Tomás Recio ''[https://hal.inria.fr/hal-01334334/file/ADG2016-Proceedings%20.pdf#page=43 The unexpected trick of Rabinowitsch]''
* David Braun, Nicolas Magaud and Pascal Schreck ''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=43 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''
+
* 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=43 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''
+
* Zoltán Kovács, Tomas Recio and Csilla Sólyom-Gecse ''[https://hal.inria.fr/hal-01334334/file/ADG2016-Proceedings%20.pdf#page=43 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''
+
* John C. Bowers ''[https://hal.inria.fr/hal-01334334/file/ADG2016-Proceedings%20.pdf#page=43 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''
+
* Dan Song and Xiaoyu Chen ''[https://hal.inria.fr/hal-01334334/file/ADG2016-Proceedings%20.pdf#page=43 Automated Generation of Keywords from Images for Geometric Information Search]''
* Gabriel Braun, Pierre Boutry and Julien Narboux ''From Hilbert to Tarski''
+
* Gabriel Braun, Pierre Boutry and Julien Narboux ''[https://hal.inria.fr/hal-01334334/file/ADG2016-Proceedings%20.pdf#page=43 From Hilbert to Tarski]''
* Lionel Garnier and Jean-Paul Bécar ''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=43 Massic points, Bézier curves and conics: a survey]''
* Pavel Pech ''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=43 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''
+
* Vesna Marinkovic, Mladen Nikolic, Zoltan Kovacs and Predrag Janicic ''[https://hal.inria.fr/hal-01334334/file/ADG2016-Proceedings%20.pdf#page=43 Portfolio Methods in Theorem Proving for Elementary Geometry]''

Version du 26 juin 2016 à 15:00

Contributed talks