Akira Terui

Shinichi Tajima, Katsuyoshi Ohara, Akira Terui

An efficient algorithm for computing eigenvectors of a matrix of integers by exact computation is proposed. The components of calculated eigenvectors are expressed as polynomials in the eigenvalue to which the eigenvector is associated, as a variable. The algorithm, in principle, utilizes the minimal annihilating polynomials for eliminating redundant calculations. Furthermore, in the actual computation, the algorithm computes candidates of eigenvectors by utilizing pseudo annihilating polynomials and verifies their correctness. The experimental results show that our algorithms have better performance compared to conventional methods.

Shuto Otaki, Akira Terui, Masahiko Mikawa

The solution and implementation of the inverse kinematics computation of a three degree-of-freedom (DOF) robot manipulator using an algorithm for real quantifier elimination with Comprehensive Gröbner Systems (CGS) are presented. The method enables us to verify if the given parameters are feasible before solving the inverse kinematics problem. Furthermore, pre-computation of CGS and substituting parameters in the CGS with the given values avoids the repetitive computation of Gröbner basis. Experimental results compared with our previous implementation are shown.