书籍列表

平面几何定理的机器证明 封面
平面几何定理的机器证明

作者：孙熙椿著
几何定理计算机证明 封面
几何定理计算机证明

作者：孙熙椿编著
从现代数学看中学数学 封面
从现代数学看中学数学

作者：孙熙椿主编
返回首页