[Shin’ichi Oishi] Development of Verified Numerical Computations for Mathematical Modeling


Research Director

Shin'ichi Oishi

Shin’ichi Oishi

Faculty of Science and Engineering, Waseda University
Professor


Outline

The aim of this research project is to develop methods of evaluating the reliability of mathematical models and their consistency with real phenomena by using computer-assisted analysis based on verified numerical computations and mathematical theories of discrete integrable systems. For this purpose, we establish verified numerical computation methods for mathematical modeling. As a result, a solid foundation of computer-assisted analysis will be built for mathematical modeling. The project aims to achieve significant progress in the reliability of mathematical modeling by our computer-assisted analysis.

Quick Access

Program

  • CREST
  • PRESTO
  • ACT-I
  • ERATO
  • ACT-X
  • ACCEL
  • ALCA
  • RISTEX
  • AIP Network Lab
  • Global Activities
  • Diversity
  • SDGs
  • OSpolicy
  • Yuugu
  • Questions