数学丛书.-.[现代数学基础丛书].[非线性代数方程组与定理机器证明].(吴文俊