1993 年出版608 页ISBN：7030032853
本书介绍耗散系统、双曲型守恒系统、非线性色散系统三类方程的特点及其研究方法
2016 年出版257 页ISBN：9787118105155
本书介绍初等几何的机器证明，重点是消去法。本书详细且细微地介绍了初等几何定理，如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组；同时本书也提出了在公式推导过程中可能出...
2018 年出版186 页ISBN：9787507754964
本书选择对Morley定理的证明用非线性消去法，在消去过程结束后，最后的残量gj本书选择对Morley定理的证明用非线性消去法，在消去过程结束后，最后的残量，不能判定或，致使定理的结论无法获得。本书又选择对Morley定理...
