- JST Home
- /
- Strategic Basic Research Programs
- /
- CREST
- /
- Research Director/
- Modeling Methods allied with Modern Mathematics/
- [Shin’ichi Oishi] Development of Verified Numerical Computations for Mathematical Modeling
Faculty of Science and Engineering, Waseda University
Professor
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.