非线性代数方程组与定理机器证明(杨路等)。。。。。。。。。。。。。。