差分方程中的Lagrange定理

本书从一道2011年全国理科试题的解法谈起，然后再进行现实的联系并进而介绍差分方程理论的完整体系，以及俄罗斯数学家在差分方程解的稳定性方面的前沿结果。本书适合于优秀的初高中师生和数学竞赛选手、教练员...

隐函数定理

隐函数定理是数学分析和几何的一个基石，是十八世纪解析函数和力学研究中出现的一部新生力量，隐函数和反函数已经发展成为偏微分方程理论、微分几何和几何分析中的蓬勃力量。隐函数有多种微分形式，包括(1)C^K函...

大数运算：加密多精度算法的理论与实现

大数运算是加密和安全领域必不可少的一部分，要想实现它，既需要相应的数学理论知识，又需要一定的编程技巧。对于每一个初学者，要想掌握它，必定要花费大量时间查阅数学书本和C语言教程（也可能是别的语言）。本书......

实定理的复证明=COMPLEX PROOFS OF REAL THEOREMS

经济最优增长途径定理及应用 发展战略与发展规划

长城与科斯定理

本书仍旧延续了作者对天下主义的主张，并且运用新制度经济学的理论来阐释和探讨中国的问题，就中国传统文化与西方文化的碰撞与融合做了深刻的思考。 本书以文明（文化）为核心，以经济学为视角，以制度为手段，探讨......

代数几何中的Bezout定理=BEZOUT THEOREM IN ALGEBRAIC GEOMETRY

素数定理的初等证明

本书主要介绍素数定理的7个初等证明以及与之相关的切比雪夫不等式、Mertens定理、素数定理的等价命题、Riemann Zeta函数、几个Tanber型定理、L空间中的Fourier变化、Wiener定理、素数定理的推广等。通过学...

几何定理机器证明的基本原理 初等几何部分

1984年，吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版，这部专著遵循机械化思想引进数系和公理，依照机械化观点系统地分析了各类几何体系，明确建立了各类几何的机械化定理，着重阐明几何定理机...

四色定理的证明和方法论 图形填色的系统控制和调节工程