Reading Length
Home
Speed Tests
Login
Jing-Zhong Zhang
Identifiers
Open Library
OL13095095A
Top Subjects
Geometry, data processing (1)
Books by Jing-Zhong Zhang
Total count: 2
Machine Proofs in Geometry
Automated Production of Readable Proofs for Geometry Theorems
World Scientific Publishing Co Pte Ltd
1994-01-01
Symbolic Computation and Education
World Scientific Publishing Co Pte Ltd
2007-01-01
