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

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

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

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

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

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

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

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

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

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

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