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

9783540313328, 9783540313632

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards a Geometric-Object-Oriented Language

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/11615798_9 ◽

2006 ◽

pp. 130-155 ◽

Cited By ~ 4

Author(s):

Tielin Liang ◽

Dongming Wang

Keyword(s):

Object Oriented ◽

Geometric Object

Download Full-text

On the Decidability of Tracing Problems in Dynamic Geometry

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/11615798_8 ◽

2006 ◽

pp. 111-129 ◽

Cited By ~ 3

Author(s):

Britta Denner-Broser

Keyword(s):

Dynamic Geometry

Download Full-text

Mechanical Theorem Proving in Computational Geometry

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/11615798_1 ◽

2006 ◽

pp. 1-18 ◽

Cited By ~ 16

Author(s):

Laura I. Meikle ◽

Jacques D. Fleuriot

Keyword(s):

Computational Geometry ◽

Theorem Proving ◽

Mechanical Theorem Proving ◽

Mechanical Theorem

Download Full-text

Computing Curves Bounding Trigonometric Planar Maps: Symbolic and Hybrid Methods

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/11615798_6 ◽

2006 ◽

pp. 70-91 ◽

Cited By ~ 1

Author(s):

Daniel Lichtblau

Keyword(s):

Hybrid Methods ◽

Planar Maps

Download Full-text

Planar Generalized Stewart Platforms and Their Direct Kinematics

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/11615798_12 ◽

2006 ◽

pp. 198-211

Author(s):

Gui-Fang Zhang ◽

Xiao-Shan Gao

Keyword(s):

Stewart Platforms ◽

Direct Kinematics

Download Full-text

Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/11615798_4 ◽

2006 ◽

pp. 44-58 ◽

Cited By ~ 2

Author(s):

Pavel Pech

Download Full-text

Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/11615798_3 ◽

2006 ◽

pp. 34-43 ◽

Cited By ~ 6

Author(s):

Xuefeng Chen ◽

Peng Li ◽

Long Lin ◽

Dingkang Wang

Keyword(s):

Gröbner Bases ◽

Grobner Bases

Download Full-text

Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/11615798_7 ◽

2006 ◽

pp. 92-110 ◽

Cited By ~ 6

Author(s):

Francisco Botana ◽

Tomás Recio

Keyword(s):

Dynamic Geometry ◽

Symbolic Approach

Download Full-text

Symbolic Solution of a Piano Movers’ Problem with Four Parameters

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/11615798_5 ◽

2006 ◽

pp. 59-69 ◽

Cited By ~ 1

Author(s):

Lu Yang ◽

Zhenbing Zeng

Download Full-text

nD Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/11615798_11 ◽

2006 ◽

pp. 169-197 ◽

Cited By ~ 5

Author(s):

Hongbo Li

Keyword(s):

Line Drawing ◽

Scene Reconstruction ◽

Local Propagation ◽

Polyhedral Scene

Download Full-text

Automated Deduction in Geometry - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Towards a Geometric-Object-Oriented Language

On the Decidability of Tracing Problems in Dynamic Geometry

Mechanical Theorem Proving in Computational Geometry

Computing Curves Bounding Trigonometric Planar Maps: Symbolic and Hybrid Methods

Planar Generalized Stewart Platforms and Their Direct Kinematics

Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides

Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases

Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach

Symbolic Solution of a Piano Movers’ Problem with Four Parameters

nD Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation

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