从尺规作图到机器证明

数学文化
2021 | 第12卷第3期
mc