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

TOTAL DOCUMENTS

17

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540425984, 9783540454106

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Hybrid Method for Solving Geometric Constraint Problems

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/3-540-45410-1_2 ◽

2001 ◽

pp. 16-25 ◽

Author(s):

Xiao-Shan Gao ◽

Lei-Dong Huang ◽

Kun Jiang

Keyword(s):

Hybrid Method ◽

Geometric Constraint

Download Full-text

Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/3-540-45410-1_16 ◽

2001 ◽

pp. 268-305 ◽

Author(s):

Ricardo Caferra ◽

Nicolas Peltier ◽

François Puitg

Keyword(s):

Theorem Proving ◽

Practical Realization ◽

Automated Geometry Theorem Proving ◽

Geometry Theorem Proving

Download Full-text

Nonstandard Geometric Proofs

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/3-540-45410-1_15 ◽

2001 ◽

pp. 246-267 ◽

Author(s):

Jacques D. Fleuriot

Download Full-text

On Spatial Constraint Solving Approaches

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/3-540-45410-1_1 ◽

2001 ◽

pp. 1-15 ◽

Author(s):

Christoph M. Hoffmann ◽

Bo Yuan

Keyword(s):

Constraint Solving ◽

Spatial Constraint

Download Full-text

Algebraic and Semialgebraic Proofs: Methods and Paradoxes

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/3-540-45410-1_6 ◽

2001 ◽

pp. 83-103 ◽

Author(s):

Pasqualina Conti ◽

Carlo Traverso

Download Full-text

Decision Complexity in Dynamic Geometry

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/3-540-45410-1_12 ◽

2001 ◽

pp. 193-198 ◽

Author(s):

Ulrich Kortenkamp ◽

Jürgen Richter-Gebert

Keyword(s):

Dynamic Geometry ◽

Decision Complexity

Download Full-text

Effective Methods in Computational Synthetic Geometry

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/3-540-45410-1_11 ◽

2001 ◽

pp. 175-192

Author(s):

Jürgen Bokowski

Download Full-text

Reasoning about Surfaces Using Differential Zero and Ideal Decomposition

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/3-540-45410-1_10 ◽

2001 ◽

pp. 154-174 ◽

Author(s):

Philippe Aubry ◽

Dongming Wang

Keyword(s):

Ideal Decomposition

Download Full-text

The Kinds of Truth of Geometry Theorems

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/3-540-45410-1_8 ◽

2001 ◽

pp. 129-142 ◽

Author(s):

Michael Bulmer ◽

Desmond Fearnley-Sander ◽

Tim Stokes

Download Full-text

A Practical Program of Automated Proving for a Class of Geometric Inequalities

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/3-540-45410-1_4 ◽

2001 ◽

pp. 41-57 ◽

Author(s):

Lu Yang ◽

Ju Zhang

Keyword(s):

Geometric Inequalities ◽

Practical Program

Download Full-text