| 2000 |
|---|
| 9 | | Shang-Ching Chou,
Xiao-Shan Gao,
Jing-Zhong Zhang:
A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering.
J. Autom. Reasoning 25(3): 219-246 (2000) |
| 1998 |
|---|
| 8 | EE | Chuan-Zhong Li,
Jing-Zhong Zhang:
Readable Machine Solving in Geometry and ICAI Software MSG.
Automated Deduction in Geometry 1998: 67-85 |
| 1996 |
|---|
| 7 | | Lu Yang,
Xiao-Shan Gao,
Shang-Ching Chou,
Jing-Zhong Zhang:
Automated Production of Readable Proofs for Theorems in Non-Euclidian Geometries.
Automated Deduction in Geometry 1996: 171-188 |
| 6 | | Shang-Ching Chou,
Xiao-Shan Gao,
Jing-Zhong Zhang:
An Introduction to Geometry Expert.
CADE 1996: 235-239 |
| 5 | | Shang-Ching Chou,
Xiao-Shan Gao,
Jing-Zhong Zhang:
Automated Generation of Readable Proofs with Geometric Invariants.
J. Autom. Reasoning 17(3): 349-370 (1996) |
| 1995 |
|---|
| 4 | | Jing-Zhong Zhang,
Shang-Ching Chou,
Xiao-Shan Gao:
Automated Production of Traditional Proofs for Theorems in Euclidean Geometry.
Ann. Math. Artif. Intell. 13(1-2): 109-138 (1995) |
| 3 | | Shang-Ching Chou,
Xiao-Shan Gao,
Jing-Zhong Zhang:
Automated Production of Traditional Proofs in Solid Geometry.
J. Autom. Reasoning 14(2): 257-291 (1995) |
| 1993 |
|---|
| 2 | EE | Shang-Ching Chou,
Xiao-Shan Gao,
Jing-Zhong Zhang:
Automated Geometry Theorem Proving by Vector Calculation.
ISSAC 1993: 284-291 |
| 1 | | Shang-Ching Chou,
Xiao-Shan Gao,
Jing-Zhong Zhang:
Automated Production of Traditional Proofs for Constructive Geometry Theorems
LICS 1993: 48-56 |
