# Numerical Analysis Laboratory

## Creating a world where calculation results can be trusted

Affiliation | Mathematical Sciences |

Faculty Name | OZAKI, Katsuhisa |

Academic Society |
The Japan Society for Industrial and Applied Mathematics Japan Society for Simulation Technology Information Processing Society of Japan |

Keyword | Verified Numerical Computations, Computer Assisted Proof, High Performance Computing, Interval Analysis |

### Study Fields

- Numerical analyses
- Information science
- Mathematics
- Applied mathematics

### For Society

The results of our research will contribute mainly to information-related fields, such as improving simulation technologies, by enhancing the precision of numerical calculations, cutting costs by making the calculation speed faster and preventing simulation algorithm failures.### Research Themes

- Research on numerical calculations with precision guarantee of problems using matrix
- Development of high-speed and robust algorithms in computational geometry
- Research on efficient parallel programing in multi-core processing