平面几何定理的机器证明

孙熙椿

走向科学的明天丛书 (1)