# Jing-Zhong Zhang

According to our database

Collaborative distances:

^{1}, Jing-Zhong Zhang authored at least 11 papers between 1993 and 2021.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2021

Method for Processing Graph Degeneracy in Dynamic Geometry Based on Domain Design.

J. Comput. Sci. Technol., 2021

2000

A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering.

J. Autom. Reason., 2000

1998

Proceedings of the Automated Deduction in Geometry, 1998

1996

J. Autom. Reason., 1996

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

Proceedings of the Automated Deduction in Geometry, 1996

1995

J. Autom. Reason., 1995

Ann. Math. Artif. Intell., 1995

1994

Machine proofs in geometry - automated production of readable proofs for geometry theorems.

Series on applied mathematics 6, World Scientific, ISBN: 978-981-02-1584-2, 1994

1993

Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993

Proceedings of the 1993 International Symposium on Symbolic and Algebraic Computation, 1993