当前位置:首页 > 名称
大约有10,000项符合查询结果项。(搜索耗时:0.0317秒)
为您推荐: 几何定理机器证明的案例 几何定理的机械化证明 几何最著名24个定理证明及应用 交互式定理证明与程序开发 拉克洛瓦 韦达定理 证明方法 几何证明
-
-
-
-
-
-
-
拉克斯定理和阿廷定理 从一道IMO试题的解法谈起
戴执中,佩捷编著2014 年出版167 页ISBN:9787560340159本书是“数学中的小问题大定理”系列丛书之一。通过一道IMO试题研究讨论拉克斯定理和阿廷定理,并着重介绍了希尔伯特第十七问题。本书可供从事这一数学分支或相关学科的数学工作者、大学生以及数学爱好者研...
-
-
-
