素数分布方程理论与证明

本书是一本数学方面的学术专著。作者提出素数分布理论，总结、归纳了素数分布方程的特征与性质，证明了在八个等差数列中，素数的个数都是近似相等的，这一成果改进了埃氏筛法，建立了偶数的15种类型64个方程，为孪生.....

强偏差定理与分析方法

本书论述了强偏差定理与分析方法，内容包括：强极限定理分析方法的基本思想，非齐次马尔可夫链的强极限定理，关于乘积分布的强偏差定理，关于马尔可夫型分布的强偏差定理，强偏差定理中的母函数方法，关于赌博系统的......

分析题纲与命题证明 第1册 预备知识函数 一元微积分

Artin定理 古典数学难题与伽罗瓦理论

本书应用伽罗瓦理论清晰透彻地论述了两个古典难题的解决方法，即寻找代数方程的求根公式和限用圆规直尺作图（如三等分任意角、把立方体体积加倍、化圆为正方形以及作正多边形等），并借此由浅入深地向读者介绍了一...

Thue定理 素数判定与大数分解 2015数学基金

本书主要介绍了Thue定理的相关理论及应用，阐明了它在纯数学研究和应用数学研究中的地位及在当代科学中的实用价值。全书内容丰富，论述严谨。论述深入浅出，简明生动，读后有益于提高数学修养，开阔知识视野。本书可...

线性代数习题课教程 解题方法、技巧与证明

本书叙述了线性代数的基本概念、基本方法和基本定理。主要内容有行列式、矩阵、向量组的线性相关性，n维向量空间。线性方程组，特征值与特征向量，内积与二次型。全书共六章，约27万字。每章又分内容提要，疑难解析，....

二元齐次对称多项式与二项式定理

本书推广了二项式定理，建立了由二项式定理的无穷多个等价公式构成的集合B，给出了它们在多方面的应用，获得了数以百计的新的数学公式。在微分学上，我们作了与前面完全平行的工作，即推广了莱布尼兹定理（公式）；......

Alexandrov定理 平面凸图形与凸多面体

本书深入浅出地介绍了凸图形及凸多面体的理论，注重基本概念和基本方法的阐述，全部论证限制在初等数学范围之内。阅读本书，不仅可使读者在学习几何知识大为充实和丰富起来，而且对读者以后学习高等数学，如多元函数...

不等式的分拆降维幂方法与可读证明

本书系统地总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件（SCHUE01）实现。把本书与SCHUR01结合起来阅读使用可使读者对于不等式的机器证明过程及其理论依据有更为深入的理解。...

不等式机器证明与自动发现

本书主要介绍作者及其合作者近10年来在不等式机器证明与自动发现方面的工作，兼顾经典结果和方法。全书共分七章，分别介绍和论述：多项式的伪除与结式；相对单纯分解；多项式的实根；常系数半代数系统的实解隔离；参......