Finding All Solutions of Nonlinear Systems of Equations Using Linear Programming with Guaranteed Accuracy. - Yusuke Nakaya; Shin'ichi Oishi (J. Univers. Comput. Sci., 1998)