Jing-Zhong Zhang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1993–1996
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1996 | CADE | An Introduction to Geometry Expert. | Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang |
| 1993 | ISSAC | Automated Geometry Theorem Proving by Vector Calculation. | Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang |
| 1993 | LICS | Automated Production of Traditional Proofs for Constructive Geometry Theorems | Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang |