Research

My research focuses on computer algebra: algorithms and applications of symbolic-numeric computations.

Computer algebra deals with mathematical formulae on the computer. A contrast is numerical computation, which handles numbers that can be directly represented on the computer.

However, mathematical formulae cannot be handled directly on the computer, thus we develop appropriate softwares for doing various computations on them. In addition, while the methology for “computation” in traditional mathematics have had such a sense as “if the computation finishes with a finite number of steps, that's OK!”, computer algebra seeks an answer in practical amount of time, and we are trying to develop such methologies with algorithms, systems and applications.

You can find more detailed information on my research in the following pages:

• Research projects Research projects currently involved in and already completed.
• List of publications List of my publications.

If you have questions, please feel free to contact me.