With the development of computer technology, it has become possible to handle mathematical formulas on computers. Our research focuses on computer algebra (symbolic computation), and we are developing methods for solving various problems related to mathematics by computer algebra, and solving problems using these methods.

• Symbolic computation = computation with mathematical formulas on computers.
• Numerical computation = computation with numbers on computers.
• Algorithm and computation = we are developing new algorithms and solving application problems with computation.

Akira Terui (Department of Mathematics, University of Tsukuba)