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

9783540666721, 9783540479970

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/3-540-47997-x_1 ◽

1999 ◽

pp. 1-13

Author(s):

Wen-tsü Wu

Keyword(s):

Problem Solving ◽

Theorem Proving ◽

Geometry Theorem Proving ◽

Geometry Problem ◽

Geometry Problem Solving

Download Full-text

A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/3-540-47997-x_13 ◽

1999 ◽

pp. 258-274 ◽

Cited By ~ 3

Author(s):

Jae Yeol Lee

Keyword(s):

Parametric Design ◽

Geometric Constraint ◽

Graph Analysis ◽

Constraint Solver

Download Full-text

An Application of Automatic Theorem Proving in Computer Vision

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/3-540-47997-x_11 ◽

1999 ◽

pp. 207-232 ◽

Cited By ~ 5

Author(s):

Didier Bondyfalat ◽

Bernard Mourrain ◽

Théodore Papadopoulo

Keyword(s):

Computer Vision ◽

Theorem Proving ◽

Automatic Theorem Proving ◽

Automatic Theorem

Download Full-text

Automated Geometry Diagram Construction and Engineering Geometry

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/3-540-47997-x_12 ◽

1999 ◽

pp. 232-258 ◽

Cited By ~ 4

Author(s):

Xiao-Shan Gao

Download Full-text

Some Applications of Clifford Algebra to Geometries

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/3-540-47997-x_9 ◽

1999 ◽

pp. 156-179 ◽

Cited By ~ 6

Author(s):

Hongbo Li

Keyword(s):

Clifford Algebra

Download Full-text

Decomposing Algebraic Varieties

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/3-540-47997-x_10 ◽

1999 ◽

pp. 180-206 ◽

Cited By ~ 1

Author(s):

Dongming Wang

Keyword(s):

Algebraic Varieties

Download Full-text

Proving Newton’s Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/3-540-47997-x_4 ◽

1999 ◽

pp. 47-66 ◽

Cited By ~ 3

Author(s):

Jacques D. Fleuriot ◽

Lawrence C. Paulson

Keyword(s):

Nonstandard Analysis

Download Full-text

Solving Geometric Problems with Real Quantifier Elimination

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/3-540-47997-x_2 ◽

1999 ◽

pp. 14-29 ◽

Cited By ~ 4

Author(s):

Andreas Dolzmann

Keyword(s):

Quantifier Elimination ◽

Geometric Problems

Download Full-text

Clifford Term Rewriting for Geometric Reasoning in 3D

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/3-540-47997-x_8 ◽

1999 ◽

pp. 130-156 ◽

Cited By ~ 1

Author(s):

Thierry Boy de la Tour ◽

Stéphane Fèvre ◽

Dongming Wang

Keyword(s):

Term Rewriting ◽

Geometric Reasoning

Download Full-text

Readable Machine Solving in Geometry and ICAI Software MSG

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/3-540-47997-x_5 ◽

1999 ◽

pp. 67-85 ◽

Cited By ~ 1

Author(s):

Chuan-Zhong Li ◽

Jhing-Zhong Zhang

Download Full-text

Automated Deduction in Geometry - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving

A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction

An Application of Automatic Theorem Proving in Computer Vision

Automated Geometry Diagram Construction and Engineering Geometry

Some Applications of Clifford Algebra to Geometries

Decomposing Algebraic Varieties

Proving Newton’s Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle

Solving Geometric Problems with Real Quantifier Elimination

Clifford Term Rewriting for Geometric Reasoning in 3D

Readable Machine Solving in Geometry and ICAI Software MSG

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