Jing-Zhong Zhang

Publication Activity (10 Years)

Years Active: 1993-2021
Publications (10 Years): 1

Top Topics

Adjacency Matrix

Domain Specific

Top Venues

J. Comput. Sci. Technol.

Publications

Hao Guan, Yongsheng Rao, Jing-Zhong Zhang, Sheng Cao, Xiao-Lin Qin
Method for Processing Graph Degeneracy in Dynamic Geometry Based on Domain Design. J. Comput. Sci. Technol. 36 (4) (2021)
Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering. J. Autom. Reason. 25 (3) (2000)
Chuan-Zhong Li, Jing-Zhong Zhang
Readable Machine Solving in Geometry and ICAI Software MSG. Automated Deduction in Geometry (1998)
Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
An Introduction to Geometry Expert. CADE (1996)
Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
Automated Generation of Readable Proofs with Geometric Invariants. J. Autom. Reason. 17 (3) (1996)
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)
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) (1995)
Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
Automated Production of Traditional Proofs in Solid Geometry. J. Autom. Reason. 14 (2) (1995)
Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
Automated Production of Traditional Proofs for Constructive Geometry Theorems LICS (1993)
Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
Automated Geometry Theorem Proving by Vector Calculation. ISSAC (1993)