default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th ADG 2010: Munich, Germany
- Pascal Schreck, Julien Narboux
, Jürgen Richter-Gebert:
Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6877, Springer 2011, ISBN 978-3-642-25069-9 - Susanne Apel, Jürgen Richter-Gebert:
Cancellation Patterns in Automatic Geometric Theorem Proving. 1-33 - Jacques D. Fleuriot:
Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL. 34-50 - Laurent Fuchs, Laurent Théry:
A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry. 51-67 - Michael Gerhäuser, Alfred Wassermann:
Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System. 68-77 - Fadoua Ghourabi, Tetsuo Ida, Asem Kasem:
Proof Documents for Automated Origami Theorem Proving. 78-97 - Daniel Lichtblau:
The Midpoint Locus of a Triangle in a Corner. 98-117 - Dominique Michelucci:
Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry. 118-131 - Dominique Michelucci:
What Is a Line ? 132-151 - Pavel Pech:
On One Method of Proving Inequalities in Automated Way. 152-168 - Pedro Quaresma:
Thousands of Geometric Problems for Geometric Theorem Provers (TGTP). 169-181 - Phil Scott, Jacques D. Fleuriot:
An Investigation of Hilbert's Implicit Reasoning through Proof Discovery in Idle-Time. 182-200 - Sana Stojanovic, Vesna Pavlovic, Predrag Janicic:
A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs. 201-220 - Yu Zou, Jingzhong Zhang:
Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method. 221-258
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-08-22 01:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
