Akira Terui

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 13

Top Topics

Experimental Evaluation

Exact Algorithms

Inverse Kinematics

Top Venues

ACM Commun. Comput. Algebra

Publications

Ayane Ito, Takefumi Kasai, Akira Terui
Computer-assisted proofs of "Kariya's theorem" with computer algebra. CoRR (2023)
Mizuki Yoshizawa, Akira Terui, Masahiko Mikawa
Inverse kinematics and path planning of manipulator using real quantifier elimination based on Comprehensive Gröbner Systems. CoRR (2023)
Mizuki Yoshizawa, Akira Terui, Masahiko Mikawa
Inverse Kinematics and Path Planning of Manipulator Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems. CASC (2023)
Shinichi Tajima, Katsuyoshi Ohara, Akira Terui
Exact Algorithms for Computing Generalized Eigenspaces of Matrices via Annihilating Polynomials. CoRR (2022)
Boming Chi, Akira Terui
The GPGCD Algorithm with the Bézout Matrix for Multiple Univariate Polynomials. CoRR (2022)
Shuto Otaki, Akira Terui, Masahiko Mikawa
A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Real Quantifier Elimination based on Comprehensive Gröbner Systems. CoRR (2021)
Noriyuki Horigome, Akira Terui, Masahiko Mikawa
A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Gröbner Bases. ICMS (2020)
Ryuji Koshikawa, Akira Terui, Masahiko Mikawa
Solving System of Nonlinear Equations with the Genetic Algorithm and Newton's Method. CoRR (2020)
Boming Chi, Akira Terui
The GPGCD Algorithm with the Bézout Matrix. CASC (2020)
Boming Chi, Akira Terui
The GPGCD algorithm with the Bézout matrix. ACM Commun. Comput. Algebra 53 (3) (2019)
Shinichi Tajima, Katsuyoshi Ohara, Akira Terui
Fast Algorithm for Calculating the Minimal Annihilating Polynomials of Matrices via Pseudo Annihilating Polynomials. CoRR (2018)
Shinichi Tajima, Katsuyoshi Ohara, Akira Terui
Fast Algorithms for Computing Eigenvectors of Matrices via Pseudo Annihilating Polynomials. CoRR (2018)
Yumi Wada, Takuya Matsuzaki, Akira Terui, Noriko H. Arai
An Automated Deduction and Its Implementation for Solving Problem of Sequence at University Entrance Examination. ICMS (2016)
Katsuyoshi Ohara, Shinichi Tajima, Akira Terui
Developing Linear Algebra Packages on Risa/Asir for Eigenproblems. ICMS (2014)
Shinichi Tajima, Katsuyoshi Ohara, Akira Terui
An Extension and Efficient Calculation of the Horner's Rule for Matrices. ICMS (2014)
Akira Terui
Calculating approximate GCD of multiple univariate polynomials using approximate syzygies. ACM Commun. Comput. Algebra 47 (3/4) (2013)
Akira Terui
GPGCD: An iterative method for calculating approximate GCD of univariate polynomials. Theor. Comput. Sci. 479 (2013)
Akira Terui
GPGCD: An iterative method for calculating approximate GCD of univariate polynomials CoRR (2012)
Akira Terui
Abstracts from RIMS workshop on developments in computer algebra research. ACM Commun. Comput. Algebra 45 (3/4) (2011)
Akira Terui
GPGCD, an iterative method for calculating approximate GCD, for multiple univariate polynomials. ACM Commun. Comput. Algebra 44 (3/4) (2010)
Akira Terui
GPGCD, an Iterative Method for Calculating Approximate GCD, for Multiple Univariate Polynomials CoRR (2010)
Akira Terui
GPGCD, an Iterative Method for Calculating Approximate GCD, for Multiple Univariate Polynomials. CASC (2010)
Akira Terui
GPGCD, an Iterative Method for Calculating Approximate GCD of Univariate Polynomials, with the Complex Coefficients CoRR (2010)
Akira Terui
An iterative method for calculating approximate GCD of univariate polynomials. ISSAC (2009)
Tateaki Sasaki, Akira Terui
Computing clustered close-roots of univariate polynomials. SNC (2009)
Akira Terui
Recursive Polynomial Remainder Sequence and the Nested Subresultants. CoRR (2008)
Akira Terui
Subresultants in Recursive Polynomial Remainder Sequence. CoRR (2008)
Akira Terui
Recursive Polynomial Remainder Sequence and its Subresultants. CoRR (2008)
Akira Terui
Recursive Polynomial Remainder Sequence and the Nested Subresultants. CASC (2005)
Tateaki Sasaki, Akira Terui
A formula for separating small roots of a polynomial. SIGSAM Bull. 36 (3) (2002)
Tateaki Sasaki, Kousuke Shihara, Akira Terui, Yuichi Ozaki, Fujio Kako
Approximate algebraic computation: practice and problems. SIGSAM Bull. 31 (3) (1997)