《非线性代数方程组与定理机器证明》是1996年上海科技教育出版社出版的图书，作者是杨路，张景中，侯晓荣

三元组：
predicate: 出版社
object: 上海科技教育出版社
subject: 非线性代数方程组与定理机器证明
predicate: 作者
object: 杨路
subject: 非线性代数方程组与定理机器证明