ADG 2010 - Munich
ADG 2010 - Munich
Différences entre les versions de « Contributed Talks »
De ADG 2010 - Munich
| (5 versions intermédiaires par le même utilisateur non affichées) | |||
| Ligne 5 : | Ligne 5 : | ||
'''Jean Duprat'''. The Euclid’s plane : formalization and implementation in Coq. | '''Jean Duprat'''. The Euclid’s plane : formalization and implementation in Coq. | ||
| − | '''Susanne Apel and Jürgen Richter-Gebert'''. Cancellation Patterns in Automatic Geometric Theorem Proving | + | '''Susanne Apel and Jürgen Richter-Gebert'''. [https://lsiit.u-strasbg.fr/adg2010/upload/1/1c/VortragOE_Suzanne.pdf Cancellation Patterns in Automatic Geometric Theorem Proving]. |
'''Dominique Michelucci'''. [https://lsiit.u-strasbg.fr/adg2010/upload/d/db/Slides_adg2010.pdf What is a line ?] | '''Dominique Michelucci'''. [https://lsiit.u-strasbg.fr/adg2010/upload/d/db/Slides_adg2010.pdf What is a line ?] | ||
| − | '''Zou Yu and Zhang Jingzhong'''. Readable Machine Proofs for Particle Geometry | + | '''Zou Yu and Zhang Jingzhong'''. [https://lsiit.u-strasbg.fr/adg2010/upload/1/19/Readable_machine_proof_for_mass_point_geometry.pdf Readable Machine Proofs for Particle Geometry]. |
| − | '''Xiaoyu Chen'''. Formal Representation and Automated Transformation of Geometric Statements | + | '''Xiaoyu Chen'''. [https://lsiit.u-strasbg.fr/adg2010/upload/b/b3/Chen.pdf Formal Representation and Automated Transformation of Geometric Statements]. |
'''Pedro Quaresma'''. [https://lsiit.u-strasbg.fr/adg2010/upload/c/c5/PresentationADG10tgtp.pdf TGTP - Thousands of Geometric problems for geometric Theorem Provers]. | '''Pedro Quaresma'''. [https://lsiit.u-strasbg.fr/adg2010/upload/c/c5/PresentationADG10tgtp.pdf TGTP - Thousands of Geometric problems for geometric Theorem Provers]. | ||
| − | '''Fadoua Ghourabi, Tetsuo Ida and Asem Kasem'''. Proof Documents of Origami Theorems | + | '''Fadoua Ghourabi, Tetsuo Ida and Asem Kasem'''. [http://www2.score.cs.tsukuba.ac.jp/presentations/adg-automated-deduction-in-geometry-2010 Proof Documents of Origami Theorems]. |
| − | '''Daniel Lichtblau'''. Midpoint locus of a triangle in a corner | + | '''Daniel Lichtblau'''. [https://lsiit.u-strasbg.fr/adg2010/upload/2/29/ADG2010_Daniel_TiC_talk.pdf Midpoint locus of a triangle in a corner]. |
'''Francisco Botana, José Luis Valcarce, Miguel A. Abanades and Jesus Escribano'''. | '''Francisco Botana, José Luis Valcarce, Miguel A. Abanades and Jesus Escribano'''. | ||
| Ligne 32 : | Ligne 32 : | ||
'''Pavel Pech'''. Equivalent formulas for a quadrilateral being cyclic | '''Pavel Pech'''. Equivalent formulas for a quadrilateral being cyclic | ||
| − | '''Thorsten Orendt'''. [https://lsiit.u-strasbg.fr/adg2010/upload/3/37/Talk_thorsten.pdf On the Complexity of the Reachability Problem in Dynamic Geometry] | + | '''Thorsten Orendt'''. [https://lsiit.u-strasbg.fr/adg2010/upload/3/37/Talk_thorsten.pdf On the Complexity of the Reachability Problem in Dynamic Geometry]. |
'''Michael Gerhäuser and Alfred Wassermann'''. Automatic calculation of plane loci using Groebner bases and integration into a Dynamic Geometry System | '''Michael Gerhäuser and Alfred Wassermann'''. Automatic calculation of plane loci using Groebner bases and integration into a Dynamic Geometry System | ||
| − | '''Simon E.B. Thierry, Pascal Schreck, Pascal Mathis'''. Why are under-constrained systems not that bad | + | '''Simon E.B. Thierry, Pascal Schreck, Pascal Mathis'''. [https://lsiit.u-strasbg.fr/adg2010/upload/5/5d/Pres-Simon.pdf Why are under-constrained systems not that bad]. |
Version actuelle datée du 7 septembre 2010 à 11:27
Tomas Recio, Rafael Losada and Jose Luis Valcarce. On the automatic discovery of Steiner-Lehmus generalizations
Phil Scott and Jacques Fleuriot. Idle Time Discovery in Geometry Theorem Proving
Jean Duprat. The Euclid’s plane : formalization and implementation in Coq.
Susanne Apel and Jürgen Richter-Gebert. Cancellation Patterns in Automatic Geometric Theorem Proving.
Dominique Michelucci. What is a line ?
Zou Yu and Zhang Jingzhong. Readable Machine Proofs for Particle Geometry.
Xiaoyu Chen. Formal Representation and Automated Transformation of Geometric Statements.
Pedro Quaresma. TGTP - Thousands of Geometric problems for geometric Theorem Provers.
Fadoua Ghourabi, Tetsuo Ida and Asem Kasem. Proof Documents of Origami Theorems.
Daniel Lichtblau. Midpoint locus of a triangle in a corner.
Francisco Botana, José Luis Valcarce, Miguel A. Abanades and Jesus Escribano. On performing automatic discovery in dynamic geometry environments
Sana Stojanovic, Vesna Pavlovic and Predrag Janicic. Automated Generation of Formal and Readable Proofs in Geometry Using Coherent Logic.
Tuan Minh Pham. An additional tool about the orientation for theorem proving in the Coq proof assitant
Nicolas Magaud, Agathe Chollet and Laurent Fuchs. Formalizing a Discrete Model of the Continuum in Coq from a Discrete Geometry Perspective.
Laurent Fuchs and Laurent Théry. A Formalisation of Grassmann-Cayley Algebra in Coq
Pavel Pech. Equivalent formulas for a quadrilateral being cyclic
Thorsten Orendt. On the Complexity of the Reachability Problem in Dynamic Geometry.
Michael Gerhäuser and Alfred Wassermann. Automatic calculation of plane loci using Groebner bases and integration into a Dynamic Geometry System
Simon E.B. Thierry, Pascal Schreck, Pascal Mathis. Why are under-constrained systems not that bad.
