Shin’ichi Oishi
Professor
- Research Area: Verification of Accuracy of Numerical Computations and Applications
Keywords of Research:
Computer Assisted Proofs
Nonlinear PDE (Elliptic and Parabolic Equations) and ODE
Verified Engineering Algorithms
Error Free Numerical Transformations
Accurate HPC and Super Computing
Accuracy of Pocket Calculator
Accuracy of Modeling
Numerical Nonlinear Functional Analysis
Nonlinear and Numerical Theory for Circuits and Systems