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