ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
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
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close