王者之路
2025-02-17 10:07:06
文学小说
5
【🔥扫码右侧二维码】
【📱扫码极速下载】浏览器自动唤起 💎独家资源·限时共享目录：
绪 论 一 美梦成真――几何定理机器证明的吴方法浅谈 1 古老的追求 2 惊人的突破 …… 二 雨后春笋――几何定理机器证明研究的新进展 1 他山之石――格若勃基方法 2 似是而非――举例证明几何定理 …… 三 根深叶茂――非线性代数方程组符号求解研究 1 正其名――方程组的相关性 …… 四 桃李满枝――数学机械化的应用 1 数学机械化纲领 …… 附录一 机器证明及其应用项目总体规划 附录二 几何问题求解及其现实意义（摘要）――吴文俊在ATCM96大会上的邀请报告 参考文献 小词典
评论