间距中点法

本书是一部创新的书稿,是对现行数学教材植树问题解法的怀疑及修正。提倡把每一棵树栽种在每一个间距的“中...

2016.3

论初等几何定理的机器证明与消去法

本书介绍初等几何的机器证明,重点是消去法。本书详细且细微地介绍了初等几何定理,如何通过坐标系将已知条...

2016.3