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.