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

TOTAL DOCUMENTS

12
(FIVE YEARS 0)

H-INDEX

5
(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

2006 ◽  
pp. 130-155 ◽  
Author(s):  
Tielin Liang ◽  
Dongming Wang
Keyword(s):  
Object Oriented ◽  
Geometric Object

On the Decidability of Tracing Problems in Dynamic Geometry

2006 ◽  
pp. 111-129 ◽  
Author(s):  
Britta Denner-Broser
Keyword(s):  
Dynamic Geometry

Planar Generalized Stewart Platforms and Their Direct Kinematics

2006 ◽  
pp. 198-211
Author(s):  
Gui-Fang Zhang ◽  
Xiao-Shan Gao
Keyword(s):  
Stewart Platforms ◽  
Direct Kinematics

Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases

2006 ◽  
pp. 34-43 ◽  
Author(s):  
Xuefeng Chen ◽  
Peng Li ◽  
Long Lin ◽  
Dingkang Wang
Keyword(s):  
Gröbner Bases ◽  
Grobner Bases

Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach

2006 ◽  
pp. 92-110 ◽  
Author(s):  
Francisco Botana ◽  
Tomás Recio
Keyword(s):  
Dynamic Geometry ◽  
Symbolic Approach

Symbolic Solution of a Piano Movers’ Problem with Four Parameters

2006 ◽  
pp. 59-69 ◽  
Author(s):  
Lu Yang ◽  
Zhenbing Zeng
Load More ...
Sign in / Sign up

Export Citation Format

Share Document