TY  - BOOK
AU  - Chou S-C Et Al
TI  - Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems
SN  - 9789812798152
PB  - World Scientific
KW  - Mathematics
UR  - https://www.worldscientific.com/worldscibooks/10.1142/2196#t=toc
ER  -