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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540773559

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards an Electronic Geometry Textbook

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77356-6_1 ◽

2007 ◽

pp. 1-23 ◽

Cited By ~ 4

Author(s):

Xiaoyu Chen ◽

Dongming Wang

Download Full-text

Constructing a Tetrahedron with Prescribed Heights and Widths

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77356-6_13 ◽

2007 ◽

pp. 203-211 ◽

Cited By ~ 1

Author(s):

Lu Yang ◽

Zhenbing Zeng

Download Full-text

Recognition of Computationally Constructed Loci

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77356-6_4 ◽

2007 ◽

pp. 52-67 ◽

Cited By ~ 2

Author(s):

Peter Lebmeir ◽

Jürgen Richter-Gebert

Download Full-text

Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77356-6_8 ◽

2007 ◽

pp. 113-138 ◽

Cited By ~ 13

Author(s):

Antonio Montes ◽

Tomás Recio

Keyword(s):

Automatic Discovery ◽

Comprehensive Gröbner Systems

Download Full-text

A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77356-6_11 ◽

2007 ◽

pp. 171-188 ◽

Cited By ~ 3

Author(s):

Eugenio Roanes-Macías ◽

Eugenio Roanes-Lozano

Keyword(s):

Theorem Proving ◽

Automatic Theorem Proving ◽

3D Geometry ◽

Maple Package ◽

Automatic Theorem

Download Full-text

Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77356-6_12 ◽

2007 ◽

pp. 189-202 ◽

Cited By ~ 6

Author(s):

Philip Todd

Download Full-text

Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77356-6_7 ◽

2007 ◽

pp. 98-112 ◽

Cited By ~ 1

Author(s):

Dominique Michelucci ◽

Sebti Foufou

Keyword(s):

Geometric Constraints

Download Full-text

Equidecomposable Quadratic Regions

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77356-6_2 ◽

2007 ◽

pp. 24-38

Author(s):

Thomas C. Hales

Download Full-text

Algorithmic Search for Flexibility Using Resultants of Polynomial Systems

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77356-6_5 ◽

2007 ◽

pp. 68-79 ◽

Cited By ~ 2

Author(s):

Robert H. Lewis ◽

Evangelos A. Coutsias

Keyword(s):

Polynomial Systems ◽

Algorithmic Search

Download Full-text

Mechanical Theorem Proving in Tarski’s Geometry

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77356-6_9 ◽

2007 ◽

pp. 139-156 ◽

Cited By ~ 17

Author(s):

Julien Narboux

Keyword(s):

Theorem Proving ◽

Mechanical Theorem Proving ◽

Mechanical Theorem

Download Full-text

Automated Deduction in Geometry - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Towards an Electronic Geometry Textbook

Constructing a Tetrahedron with Prescribed Heights and Widths

Recognition of Computationally Constructed Loci

Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems

A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry

Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System

Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method

Equidecomposable Quadratic Regions

Algorithmic Search for Flexibility Using Resultants of Polynomial Systems

Mechanical Theorem Proving in Tarski’s Geometry

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