基于新消元法勾股定理的机械化证明

本文主要通过新消元法来对勾股定理进行机械化证明,这里的机械化证明是可以通过电脑编程进行的,这种方法也是首次的(即不同于吴方法的一种方法),同时在对本文进行证明后,希望本文可以引发后续的初等几何机械化证明的持续性工作。

非线性代数方程组的一种数值解法

本文将用一种新的消元法和非线性方程的二分法来共同研究方程组的数值解。

两个方程组实数解个数的判定

本文主要是对两个方程组的实数解的个数的判定,可知方程组(1.a)在实数范围内没有实数解,方程组(1.b)在实数范围内有四个解。