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

TOTAL DOCUMENTS

11

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540642978, 9783540697176

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Clifford algebraic calculus for geometric reasoning

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/bfb0022723 ◽

1998 ◽

pp. 115-140 ◽

Author(s):

Dongming Wang

Keyword(s):

Geometric Reasoning

Download Full-text

Probabilistic verification of elementary geometry statements

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/bfb0022721 ◽

1997 ◽

pp. 87-101 ◽

Author(s):

Giuseppa Carrá Ferro ◽

Giovanni Gallo ◽

Rosario Gennaro

Keyword(s):

Elementary Geometry ◽

Probabilistic Verification

Download Full-text

Automated production of readable proofs for theorems in non-Euclidean geometries

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/bfb0022725 ◽

1997 ◽

pp. 171-188 ◽

Author(s):

Lu Yang ◽

Xiao-Shan Gao ◽

Shang-Ching Chou ◽

Jing-Zhong Zhang

Keyword(s):

Automated Production

Download Full-text

Flat central configurations of four planet motions

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/bfb0022717 ◽

1997 ◽

pp. 208-217

Author(s):

He Shi ◽

Fengmei Zou

Keyword(s):

Central Configurations

Download Full-text

Computational geometry problems in REDLOG

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/bfb0022720 ◽

1997 ◽

pp. 58-86 ◽

Author(s):

Thomas Sturm ◽

Volker Weispfenning

Keyword(s):

Computational Geometry

Download Full-text

Extended Dixon's resultant and its applications

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/bfb0022719 ◽

1997 ◽

pp. 37-57

Author(s):

Quoc-Nam Tran

Download Full-text

Integration of reasoning and algebraic calculus in geometry

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/bfb0022718 ◽

1997 ◽

pp. 218-234

Author(s):

Stéphane Fèvre

Download Full-text

Automated geometric reasoning: Dixon resultants, Gröbner bases, and characteristic sets

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/bfb0022716 ◽

1997 ◽

pp. 1-36 ◽

Author(s):

Deepak Kapur

Keyword(s):

Gröbner Bases ◽

Grobner Bases ◽

Geometric Reasoning ◽

Characteristic Sets

Download Full-text

Points on algebraic curves and the parametrization problem

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/bfb0022726 ◽

1997 ◽

pp. 189-207 ◽

Author(s):

Erik Hillgarter ◽

Franz Winkler

Keyword(s):

Algebraic Curves

Download Full-text

Area in Grassmann geometry

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/bfb0022724 ◽

1997 ◽

pp. 141-170 ◽

Author(s):

Desmond Fearnley-Sander ◽

Tim Stokes

Keyword(s):

Grassmann Geometry

Download Full-text