Mechanical Geometry Theorem Proving
Latest Publications

TOTAL DOCUMENTS

7

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer Netherlands

9781402003301, 9789400940376

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Algebra and Geometry

Mechanical Geometry Theorem Proving ◽

10.1007/978-94-009-4037-6_3 ◽

1988 ◽

pp. 34-51

Author(s):

Shang-Ching Chou

Download Full-text

Explanations

Mechanical Geometry Theorem Proving ◽

10.1007/978-94-009-4037-6_6 ◽

1988 ◽

pp. 95-99

Author(s):

Shang-Ching Chou

Download Full-text

Geometry Theorem Proving Using The Gröbner Basis Method

Mechanical Geometry Theorem Proving ◽

10.1007/978-94-009-4037-6_5 ◽

1988 ◽

pp. 75-89

Author(s):

Shang-Ching Chou

Keyword(s):

Theorem Proving ◽

Gröbner Basis ◽

Grobner Basis ◽

Geometry Theorem Proving ◽

Basis Method

Download Full-text

The Complete Method of Wu

Mechanical Geometry Theorem Proving ◽

10.1007/978-94-009-4037-6_4 ◽

1988 ◽

pp. 52-74

Author(s):

Shang-Ching Chou

Download Full-text

Ritt’s Characteristic Set Method

Mechanical Geometry Theorem Proving ◽

10.1007/978-94-009-4037-6_2 ◽

1988 ◽

pp. 23-33

Author(s):

Shang-Ching Chou

Keyword(s):

Characteristic Set ◽

Characteristic Set Method

Download Full-text

An Introduction to Wu’s Method

Mechanical Geometry Theorem Proving ◽

10.1007/978-94-009-4037-6_1 ◽

1988 ◽

pp. 3-22

Author(s):

Shang-Ching Chou

Keyword(s):

Wu’S Method ◽

Wu's Method

Download Full-text

Theorems Proved Mechanically by Wu’s Method

Mechanical Geometry Theorem Proving ◽

10.1007/978-94-009-4037-6_7 ◽

1988 ◽

pp. 100-351

Author(s):

Shang-Ching Chou

Keyword(s):

Wu’S Method ◽

Wu's Method

Download Full-text