洪岚岚主编2008 年出版366 页ISBN：9787530328354
本书结合概念、公式、定理，通过典型的例题来分析、解签，揭示知识的内在联系。
佩捷等编著2016 年出版519 页ISBN：9787560357799
本书详细介绍了切比雪夫逼近问题的相关知识及应用。全书共分20章，读者可以较全面地了解这一类问题的实质，对于切比雪夫逼近定理的相关内容得到进一步地了解，并且还可以认识到它在其他学科中的应用。知识点广，内...
孙熙椿编著2007 年出版207 页ISBN：703015505X
本书全面总结了中国数学家对几何定理机器证明的重要成果，内容包括欧氏几何的完善与发展、几何定理机器证明的发展概况、吴文俊机械化方法、张景中消点算法等。...
本书编委会2017 年出版591 页ISBN：9787560366845
本书从一道圣彼得堡数学竞赛试题谈起，详细介绍了Picard大定理的相关知识及应用。通过阅读本书，读者可以较全面地了解这个定理的实质，并且还可以了解到它在其他学科中的一些应用。本书可供从事这一数学分支或相...
