Numerical Analysis Laboratory
Creating a world where calculation results can be trusted
You think PCs are a convenient machine capable of making calculations accurately and speedily, don’t you? But they are only capable of calculating speedily only if the numerals, whose number of digits is finite and which are expressed with binary numbers, are used. Even if they have a finite number of digits, errors occur in calculations, which sometimes result in grossly inaccurate answers. Our laboratory closely examines these errors to develop methods for practical use to obtain reliable results.
|Faculty Name||OZAKI, Katsuhisa|
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|
- Numerical analyses
- Information science
- Applied mathematics
For SocietyThe 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 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