Programs for verified numerics on Windows Scilab
Shin'ichi Oishi: "Numerical Verification of Existence and Inclusion of Solutions for Nonlinear Operator Equations",pdf-file
© Shin'ichi OISHI
URI: http://www.oishi.info.waseda.ac.jp/~oishi/FILES.html
Last Modified 2000/12/19