Jing-Zhong Zhang

J. Autom. Reason., 2000

1998

Readable Machine Solving in Geometry and ICAI Software MSG.

[BibT_eX]

[DOI]

Chuan-Zhong Li

Proceedings of the Automated Deduction in Geometry, 1998

1996

Automated Generation of Readable Proofs with Geometric Invariants.

[BibT_eX]

[DOI]

J. Autom. Reason., 1996

An Introduction to Geometry Expert.

[BibT_eX]

[DOI]

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

Automated Production of Readable Proofs for Theorems in Non-Euclidian Geometries.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction in Geometry, 1996

1995

Automated Production of Traditional Proofs in Solid Geometry.

[BibT_eX]

[DOI]

J. Autom. Reason., 1995

Automated Production of Traditional Proofs for Theorems in Euclidean Geometry.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1995

1994

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

[BibT_eX]

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

1993

Automated Production of Traditional Proofs for Constructive Geometry Theorems

[BibT_eX]

[DOI]

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

Automated Geometry Theorem Proving by Vector Calculation.

[BibT_eX]

[DOI]