FILES

Programs for verified numerics on Windows Scilab

Pdf files of Papers

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