Approximate algebraic computation: practice and problems. - Tateaki Sasaki; Kousuke Shihara; Akira Terui; Yuichi Ozaki; Fujio Kako (SIGSAM Bull., 1997)

A formula for separating small roots of a polynomial. - Tateaki Sasaki; Akira Terui (SIGSAM Bull., 2002)

Recursive Polynomial Remainder Sequence and the Nested Subresultants. - Akira Terui (CASC, 2005)

Subresultants in Recursive Polynomial Remainder Sequence. - Akira Terui (CoRR, 2008)

Recursive Polynomial Remainder Sequence and its Subresultants. - Akira Terui (CoRR, 2008)

An iterative method for calculating approximate GCD of univariate polynomials. - Akira Terui (ISSAC, 2009)

Computing clustered close-roots of univariate polynomials. - Tateaki Sasaki; Akira Terui (SNC, 2009)

GPGCD, an iterative method for calculating approximate GCD, for multiple univariate polynomials. - Akira Terui (ACM Commun. Comput. Algebra, 2010)

GPGCD, an Iterative Method for Calculating Approximate GCD of Univariate Polynomials, with the Complex Coefficients - Akira Terui (CoRR, 2010)

Abstracts from RIMS workshop on developments in computer algebra research. - Akira Terui (ACM Commun. Comput. Algebra, 2011)

Calculating approximate GCD of multiple univariate polynomials using approximate syzygies. - Akira Terui (ACM Commun. Comput. Algebra, 2013)

GPGCD: An iterative method for calculating approximate GCD of univariate polynomials. - Akira Terui (Theor. Comput. Sci., 2013)

Developing Linear Algebra Packages on Risa/Asir for Eigenproblems. - Katsuyoshi Ohara; Shinichi Tajima; Akira Terui (ICMS, 2014)

An Extension and Efficient Calculation of the Horner's Rule for Matrices. - Shinichi Tajima; Katsuyoshi Ohara; Akira Terui (ICMS, 2014)

An Automated Deduction and Its Implementation for Solving Problem of Sequence at University Entrance Examination. - Yumi Wada; Takuya Matsuzaki; Akira Terui; Noriko H. Arai (ICMS, 2016)

Fast Algorithm for Calculating the Minimal Annihilating Polynomials of Matrices via Pseudo Annihilating Polynomials. - Shinichi Tajima; Katsuyoshi Ohara; Akira Terui (CoRR, 2018)

Fast Algorithms for Computing Eigenvectors of Matrices via Pseudo Annihilating Polynomials. - Shinichi Tajima; Katsuyoshi Ohara; Akira Terui (CoRR, 2018)

The GPGCD algorithm with the Bézout matrix. - Boming Chi; Akira Terui (ACM Commun. Comput. Algebra, 2019)

A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Gröbner Bases. - Noriyuki Horigome; Akira Terui; Masahiko Mikawa (ICMS, 2020)

Solving System of Nonlinear Equations with the Genetic Algorithm and Newton's Method. - Ryuji Koshikawa; Akira Terui; Masahiko Mikawa (CoRR, 2020)

A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Real Quantifier Elimination based on Comprehensive Gröbner Systems. - Shuto Otaki; Akira Terui; Masahiko Mikawa (CoRR, 2021)

The GPGCD Algorithm with the Bézout Matrix for Multiple Univariate Polynomials. - Boming Chi; Akira Terui (CoRR, 2022)

Exact Algorithms for Computing Generalized Eigenspaces of Matrices via Annihilating Polynomials. - Shinichi Tajima; Katsuyoshi Ohara; Akira Terui (CoRR, 2022)

Inverse Kinematics and Path Planning of Manipulator Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems. - Mizuki Yoshizawa; Akira Terui; Masahiko Mikawa (CASC, 2023)

Computer-assisted proofs of "Kariya's theorem" with computer algebra. - Ayane Ito; Takefumi Kasai; Akira Terui (CoRR, 2023)

Towards trajectory planning of a robot manipulator with computer algebra using Bézier curves for obstacle avoidance. - Ryo Hatakeyama; Akira Terui; Masahiko Mikawa (SCSS (Work in Progress), 2024)

Solving estimation problems using minimax polynomials and Gröbner bases. - Kenta Kuramochi; Akira Terui; Masahiko Mikawa (SCSS (Work in Progress), 2024)

Towards trajectory planning for a 6-degree-of-freedom robot manipulator considering the orientation of the end-effector using computer algebra. - Takumu Okazaki; Akira Terui; Masahiko Mikawa (SCSS (Work in Progress), 2024)

An optimized path planning of manipulator with spline curves using real quantifier elimination based on comprehensive Gröbner systems. - Yusuke Shirato; Natsumi Oka; Akira Terui; Masahiko Mikawa (SCSS (Work in Progress), 2024)

An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gröbner Systems. - Yusuke Shirato; Natsumi Oka; Akira Terui; Masahiko Mikawa (CoRR, 2024)