Akira Terui

41 papers B 7Journal 25Unranked 9
YearRankTypeTitle / Venue / Authors
2025 B conf
An Effective Trajectory Planning and an Optimized Path Planning for a 6-Degree-of-Freedom Robot Manipulator.
CASC
Takumu Okazaki, Akira Terui, Masahiko Mikawa
2025 J jnl
An Effective Trajectory Planning and an Optimized Path Planning for a 6-Degree-of-Freedom Robot Manipulator.
CoRR
Takumu Okazaki, Akira Terui, Masahiko Mikawa
2025 J jnl
An Exact Algorithm for Computing the Structure of Jordan Blocks.
CoRR
Shinichi Tajima, Katsuyoshi Ohara, Akira Terui
2025 B conf
Inverse Kinematics for a 6-Degree-of-Freedom Robot Manipulator Using Comprehensive Gröbner Systems.
CASC
Takumu Okazaki, Akira Terui, Masahiko Mikawa
2025 J jnl
Inverse Kinematics for a 6-Degree-of-Freedom Robot Manipulator Using Comprehensive Gröbner Systems.
CoRR
Takumu Okazaki, Akira Terui, Masahiko Mikawa
2024 J jnl
An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gröbner Systems.
CoRR
Yusuke Shirato, Natsumi Oka, Akira Terui, Masahiko Mikawa
2024 — conf
An optimized path planning of manipulator with spline curves using real quantifier elimination based on comprehensive Gröbner systems.
SCSS (Work in Progress)
Yusuke Shirato, Natsumi Oka, Akira Terui, Masahiko Mikawa
2024 — conf
Solving estimation problems using minimax polynomials and Gröbner bases.
SCSS (Work in Progress)
Kenta Kuramochi, Akira Terui, Masahiko Mikawa
2024 — conf
Towards trajectory planning for a 6-degree-of-freedom robot manipulator considering the orientation of the end-effector using computer algebra.
SCSS (Work in Progress)
Takumu Okazaki, Akira Terui, Masahiko Mikawa
2024 — conf
Towards trajectory planning of a robot manipulator with computer algebra using Bézier curves for obstacle avoidance.
SCSS (Work in Progress)
Ryo Hatakeyama, Akira Terui, Masahiko Mikawa
2023 J jnl
Computer-assisted proofs of "Kariya's theorem" with computer algebra.
CoRR
Ayane Ito, Takefumi Kasai, Akira Terui
2023 B conf
Inverse Kinematics and Path Planning of Manipulator Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems.
CASC
Mizuki Yoshizawa, Akira Terui, Masahiko Mikawa
2023 J jnl
Inverse kinematics and path planning of manipulator using real quantifier elimination based on Comprehensive Gröbner Systems.
CoRR
Mizuki Yoshizawa, Akira Terui, Masahiko Mikawa
2022 J jnl
Exact Algorithms for Computing Generalized Eigenspaces of Matrices via Annihilating Polynomials.
CoRR
Shinichi Tajima, Katsuyoshi Ohara, Akira Terui
2022 J jnl
The GPGCD Algorithm with the Bézout Matrix for Multiple Univariate Polynomials.
CoRR
Boming Chi, Akira Terui
2021 J jnl
A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Real Quantifier Elimination based on Comprehensive Gröbner Systems.
CoRR
Shuto Otaki, Akira Terui, Masahiko Mikawa
2020 — conf
A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Gröbner Bases.
ICMS
Noriyuki Horigome, Akira Terui, Masahiko Mikawa
2020 J jnl
Solving System of Nonlinear Equations with the Genetic Algorithm and Newton's Method.
CoRR
Ryuji Koshikawa, Akira Terui, Masahiko Mikawa
2020 B conf
The GPGCD Algorithm with the Bézout Matrix.
CASC
Boming Chi, Akira Terui
2019 J jnl
The GPGCD algorithm with the Bézout matrix.
ACM Commun. Comput. Algebra
Boming Chi, Akira Terui
2018 J jnl
Fast Algorithm for Calculating the Minimal Annihilating Polynomials of Matrices via Pseudo Annihilating Polynomials.
CoRR
Shinichi Tajima, Katsuyoshi Ohara, Akira Terui
2018 J jnl
Fast Algorithms for Computing Eigenvectors of Matrices via Pseudo Annihilating Polynomials.
CoRR
Shinichi Tajima, Katsuyoshi Ohara, Akira Terui
2016 — conf
An Automated Deduction and Its Implementation for Solving Problem of Sequence at University Entrance Examination.
ICMS
Yumi Wada, Takuya Matsuzaki, Akira Terui, Noriko H. Arai
2014 — conf
An Extension and Efficient Calculation of the Horner's Rule for Matrices.
ICMS
Shinichi Tajima, Katsuyoshi Ohara, Akira Terui
2014 — conf
Developing Linear Algebra Packages on Risa/Asir for Eigenproblems.
ICMS
Katsuyoshi Ohara, Shinichi Tajima, Akira Terui
2013 J jnl
Calculating approximate GCD of multiple univariate polynomials using approximate syzygies.
ACM Commun. Comput. Algebra
Akira Terui
2013 J jnl
GPGCD: An iterative method for calculating approximate GCD of univariate polynomials.
Theor. Comput. Sci.
Akira Terui
2012 J jnl
GPGCD: An iterative method for calculating approximate GCD of univariate polynomials
CoRR
Akira Terui
2011 J jnl
Abstracts from RIMS workshop on developments in computer algebra research.
ACM Commun. Comput. Algebra
Akira Terui
2010 J jnl
GPGCD, an Iterative Method for Calculating Approximate GCD of Univariate Polynomials, with the Complex Coefficients
CoRR
Akira Terui
2010 J jnl
GPGCD, an Iterative Method for Calculating Approximate GCD, for Multiple Univariate Polynomials
CoRR
Akira Terui
2010 B conf
GPGCD, an Iterative Method for Calculating Approximate GCD, for Multiple Univariate Polynomials.
CASC
Akira Terui
2010 J jnl
GPGCD, an iterative method for calculating approximate GCD, for multiple univariate polynomials.
ACM Commun. Comput. Algebra
Akira Terui
2009 B conf
An iterative method for calculating approximate GCD of univariate polynomials.
ISSAC
Akira Terui
2009 — conf
Computing clustered close-roots of univariate polynomials.
SNC
Tateaki Sasaki, Akira Terui
2008 J jnl
Recursive Polynomial Remainder Sequence and its Subresultants.
CoRR
Akira Terui
2008 J jnl
Recursive Polynomial Remainder Sequence and the Nested Subresultants.
CoRR
Akira Terui
2008 J jnl
Subresultants in Recursive Polynomial Remainder Sequence.
CoRR
Akira Terui
2005 B conf
Recursive Polynomial Remainder Sequence and the Nested Subresultants.
CASC
Akira Terui
2002 J jnl
A formula for separating small roots of a polynomial.
SIGSAM Bull.
Tateaki Sasaki, Akira Terui
1997 J jnl
Approximate algebraic computation: practice and problems.
SIGSAM Bull.
Tateaki Sasaki, Kousuke Shihara, Akira Terui, Yuichi Ozaki, Fujio Kako