Kaori NAGATOU

Visiting Professor, Waseda University
Guest professor, Karlsruhe Institute of Technology

Research Theme

Stability investigations for mathematical problems from science and engineering by computer assistance

We analyze the stability for mathematical models from science and engineering by using both mathematical theory and computer assistance. Our aim is to give mathematical verifications for usual numerical simulations, and especially we will deal with some problems which cannot be treated theoretically. We want to produce an efficient system which could be applicable to several kinds of models and gives reliable results in mathematically rigorous sense.