Automated Deduction in Geometry - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642250699, 9783642250705

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-642-25070-5_4 ◽

2011 ◽

pp. 68-77 ◽

Author(s):

Michael Gerhäuser ◽

Alfred Wassermann

Keyword(s):

Gröbner Bases ◽

Dynamic Geometry ◽

Grobner Bases ◽

Automatic Calculation

Download Full-text

Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-642-25070-5_2 ◽

2011 ◽

pp. 34-50

Author(s):

Jacques Fleuriot

Keyword(s):

Analytical Geometry

Download Full-text

Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-642-25070-5_10 ◽

2011 ◽

pp. 169-181 ◽

Author(s):

Pedro Quaresma

Keyword(s):

Geometric Theorem ◽

Theorem Provers ◽

Geometric Problems

Download Full-text

Proof Documents for Automated Origami Theorem Proving

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-642-25070-5_5 ◽

2011 ◽

pp. 78-97 ◽

Author(s):

Fadoua Ghourabi ◽

Tetsuo Ida ◽

Asem Kasem

Keyword(s):

Theorem Proving

Download Full-text

On One Method of Proving Inequalities in Automated Way

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-642-25070-5_9 ◽

2011 ◽

pp. 152-168

Author(s):

Pavel Pech

Download Full-text

Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-642-25070-5_7 ◽

2011 ◽

pp. 118-131

Author(s):

Dominique Michelucci

Keyword(s):

Projective Geometry ◽

Search Methods ◽

Incidence Theorems

Download Full-text

The Midpoint Locus of a Triangle in a Corner

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-642-25070-5_6 ◽

2011 ◽

pp. 98-117

Author(s):

Daniel Lichtblau

Download Full-text

Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-642-25070-5_13 ◽

2011 ◽

pp. 221-258 ◽

Author(s):

Yu Zou ◽

Jingzhong Zhang

Keyword(s):

Point Method ◽

Automated Generation

Download Full-text

A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-642-25070-5_12 ◽

2011 ◽

pp. 201-220 ◽

Author(s):

Sana Stojanović ◽

Vesna Pavlović ◽

Predrag Janičić

Keyword(s):

Download Full-text

What Is a Line ?

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-642-25070-5_8 ◽

2011 ◽

pp. 132-151

Author(s):

Dominique Michelucci

Download Full-text