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

Nonstandard Geometric Proofs

2001 ◽  
pp. 246-267 ◽  
Author(s):  
Jacques D. Fleuriot

On Spatial Constraint Solving Approaches

2001 ◽  
pp. 1-15 ◽  
Author(s):  
Christoph M. Hoffmann ◽  
Bo Yuan
Keyword(s):  
Constraint Solving ◽  
Spatial Constraint

A Hybrid Method for Solving Geometric Constraint Problems

2001 ◽  
pp. 16-25 ◽  
Author(s):  
Xiao-Shan Gao ◽  
Lei-Dong Huang ◽  
Kun Jiang
Keyword(s):  
Hybrid Method ◽  
Geometric Constraint

Algebraic and Semialgebraic Proofs: Methods and Paradoxes

2001 ◽  
pp. 83-103 ◽  
Author(s):  
Pasqualina Conti ◽  
Carlo Traverso

Decision Complexity in Dynamic Geometry

2001 ◽  
pp. 193-198 ◽  
Author(s):  
Ulrich Kortenkamp ◽  
Jürgen Richter-Gebert
Keyword(s):  
Dynamic Geometry ◽  
Decision Complexity

Reasoning about Surfaces Using Differential Zero and Ideal Decomposition

2001 ◽  
pp. 154-174 ◽  
Author(s):  
Philippe Aubry ◽  
Dongming Wang
Keyword(s):  
Ideal Decomposition

scholarly journals The Kinds of Truth of Geometry Theorems

2001 ◽  
pp. 129-142 ◽  
Author(s):  
Michael Bulmer ◽  
Desmond Fearnley-Sander ◽  
Tim Stokes
Load More ...
Sign in / Sign up

Export Citation Format

Share Document