Automated Geometry Theorem Proving by Vector Calculation. - Shang-Ching Chou; Xiao-Shan Gao; Jing-Zhong Zhang (ISSAC, 1993)

Automated Production of Traditional Proofs for Constructive Geometry Theorems - Shang-Ching Chou; Xiao-Shan Gao; Jing-Zhong Zhang (LICS, 1993)

Machine proofs in geometry - automated production of readable proofs for geometry theorems. - Shang-Ching Chou; Xiao-Shan Gao; Jing-Zhong Zhang (World Scientific, 1994)

Automated Production of Traditional Proofs for Theorems in Euclidean Geometry. - Jing-Zhong Zhang; Shang-Ching Chou; Xiao-Shan Gao (Ann. Math. Artif. Intell., 1995)

Automated Production of Traditional Proofs in Solid Geometry. - Shang-Ching Chou; Xiao-Shan Gao; Jing-Zhong Zhang (J. Autom. Reason., 1995)

Automated Production of Readable Proofs for Theorems in Non-Euclidian Geometries. - Lu Yang; Xiao-Shan Gao; Shang-Ching Chou; Jing-Zhong Zhang (Automated Deduction in Geometry, 1996)

An Introduction to Geometry Expert. - Shang-Ching Chou; Xiao-Shan Gao; Jing-Zhong Zhang (CADE, 1996)

Automated Generation of Readable Proofs with Geometric Invariants. - Shang-Ching Chou; Xiao-Shan Gao; Jing-Zhong Zhang (J. Autom. Reason., 1996)

Readable Machine Solving in Geometry and ICAI Software MSG. - Chuan-Zhong Li; Jing-Zhong Zhang (Automated Deduction in Geometry, 1998)

A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering. - Shang-Ching Chou; Xiao-Shan Gao; Jing-Zhong Zhang (J. Autom. Reason., 2000)

Method for Processing Graph Degeneracy in Dynamic Geometry Based on Domain Design. - Hao Guan; Yongsheng Rao; Jing-Zhong Zhang; Sheng Cao; Xiao-Lin Qin (J. Comput. Sci. Technol., 2021)