Skip to content
早稲田大学 基幹理工学部
応用数理学科
Department of Applied Mathematics
School of Fundamental Science and Engineering
WASEDA UNIVERSITY

Shinichi-oishi
  • English
  • Japanese
  • Concept
  • Curriculum
  • Futures
  • Professors
  • Interview
  • Prospective Students
    • Admissions
    • Q&A
  • Access•Links
    • Access
    • Links
Kimihisa Ito
Kimihisa Ito
Professor
Shin’ichi Oishi
Shin’ichi Oishi
Professor
Toru Ohmoto
Toru Ohmoto
Professor
Takeshi Ogita
Takeshi Ogita
Professor
Masahide Kashiwagi
Masahide Kashiwagi
Professor
Kousuke Kuto
Kousuke Kuto
Professor
Yasutaka Shimizu
Yasutaka Shimizu
Professor
Daisuke Takahashi
Daisuke Takahashi
Professor
Hiroshi Toyoizumi
Hiroshi Toyoizumi
Professor
Toshiyasu Matsushima
Toshiyasu Matsushima
Professor
Kenichi Maruno
Kenichi Maruno
Professor
Tsuyoshi Miezaki
Tsuyoshi Miezaki
Professor
Momoko Hayamizu
Momoko Hayamizu
Associate Professor
Yan Liu
Yan Liu
Associate Professor
Shin’ichi Oishi
Shin’ichi Oishi
Professor
  • Laboratory Website
  • 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

x
Copyright © 2023 Department of Applied Mathematics, Waseda University. All right reserved.