Yusuke Nakaya, Tetsuo Nishi, Shin’ichi Oishi, Martin Claus,“Numerical Existence Proof of Five Solutions for Certain Two-Transistor Circuit Equations,”Japan Journal of Industrial and Applied Mathematics, vol.26 no.2-3, pp.327-336, 2009.
Yusuke Nakaya, Shin’ichi Oishi,“Finding All Solutions of Nonlinear Systems of Equations Using Linear Programming with Guaranteed Accuracy,”Journal of Universal Computer Science, vol.4, no.2 pp.171-177, 1998