TY  - BOOK
AU  - Pech Pavel
TI  - Selected Topics in Geometry with Classical Vs. Computer Proving
SN  - 9789812709431
PB  - World Scientific
KW  - Mathematics
UR  - https://www.worldscientific.com/worldscibooks/10.1142/6556#t=toc
ER  -