Ladas G. Open problem and conjectures, Proc. The first inter. Conf. Diff. Equa. Gordon and Breach Sci. Publ, 1994.

• 杨路，张景中，侯晓荣．非线性代数方程组与定理机器证明．上海：上海科技教育出版社，1996