书目详细信息 : 非线性代数方程组与定理机器证明