Akira Terui

Profile Information

Affiliation: Associate Professor, Faculty of Pure and Applied Sciences, University of Tsukuba
: (Concurrent)Center for Artificial Intelligence Research

Degree: Ph.D in Science(Mar, 2010, University of Tsukuba)
M.S.(Mar, 1997, University of Tsukuba)

ORCID iD: https://orcid.org/0000-0003-0846-3643
J-GLOBAL ID: 200901044780941214
researchmap Member ID: 1000267873

External link: https://www.math.tsukuba.ac.jp/~terui/en

Interested in computer algebra, symbolic-numeric computations and automated deduction. An "easy-arithmetician."

Research Interests

Research Areas

Research History

Dec, 2011 - Present

Associate Professor, Faculty of Pure and Applied Sciences, University of Tsukuba
Oct, 2011 - Nov, 2011

Research Associate, Faculty of Pure and Applied Sciences, University of Tsukuba
Apr, 2007 - Sep, 2011

Graduate School of Pure and Applied Sciences, University of Tsukuba
Apr, 2004 - Mar, 2007

Graduate School of Pure and Applied Sciences, University of Tsukuba
Oct, 1999 - Mar, 2004

Institute of Mathematics, University of Tsukuba

Papers

54

Inverse Kinematics and Path Planning of Manipulator Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems

Mizuki Yoshizawa, Akira Terui, Masahiko Mikawa

Computer Algebra in Scientific Computing, Lecture Notes in Computer Science 14139, 393-419, Aug 24, 2023 Peer-reviewedCorresponding author
Computer Exercise in the Coronavirus Pandemic: An Approach of Distance Learning to Computer Exercise with Computer Algebra in the College of Mathematics (コロナ禍の計算機演習 : 数学科における数式処理を用いた計算機実習の遠隔授業による取り組み)

Akira Terui

数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation, 28(2) 53-79, Jul, 2022 Peer-reviewedLead authorCorresponding author
The GPGCD Algorithm with the Bézout Matrix

Boming Chi, Akira Terui

Computer Algebra in Scientific Computing: Proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, CASC 2020, 170-187, Oct, 2020 Peer-reviewedLast author
A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Gröbner Bases

Noriyuki Horigome, Akira Terui, Masahiko Mikawa

Mathematical Software – ICMS 2020 – 7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings, 3-13, Jul, 2020 Peer-reviewedCorresponding author
An Automated Deduction and Its Implementation for Solving Problem of Sequence at University Entrance Examination

Yumi Wada, Takuya Matsuzaki, Akira Terui, Noriko H. Arai

Mathematical Software - ICMS 2016 - 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings, 82-89, 2016 Peer-reviewed
An Extension and Efficient Calculation of the Horner's Rule for Matrices

Shinichi Tajima, Katsuyoshi Ohara, Akira Terui

Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, 8592 346-351, 2014 Peer-reviewed
Developing Linear Algebra Packages on Risa/Asir for Eigenproblems

Katsuyoshi Ohara, Shinichi Tajima, Akira Terui

Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, 8592 321-324, 2014 Peer-reviewed
GPGCD: An iterative method for calculating approximate GCD of univariate polynomials

Akira Terui

Theor. Comput. Sci., 479 127-149, 2013 Peer-reviewed
GPGCD, an Iterative Method for Calculating Approximate GCD, for Multiple Univariate Polynomials

Akira Terui

Computer Algebra in Scientific Computing (Proc. CASC 2010), Lecture Notes in Computer Science, 6244 238-249, Sep, 2010 Peer-reviewed
GPGCD, an Iterative Method for Calculating Approximate GCD of Univariate Polynomials, with the Complex Coefficients

Akira Terui

The Joint Conference of ASCM 2009 and MACIS 2009, 212-221, Dec, 2009 Peer-reviewed
Computing Clustered Close-Roots of Univariate Polynomials

Tateaki Sasaki, Akira Terui

Proceedings of The 3rd International Workshop on Symbolic-Numeric Computation (SNC 2009), 177-184, Aug, 2009 Peer-reviewed
An Iterative Method for Calculating Approximate GCD of Univariate Polynomials

Akira Terui

Proceedings of 2009 International Symposium on Symbolic and Algebraic Computation (ISSAC 2009), 351-358, Jul, 2009 Peer-reviewed
Words, tilings and combinatorial spectra

Jun Morita, Akira Terui

Hiroshima Mathematical Journal, 39(1), Mar 1, 2009 Peer-reviewed
Recursive Polynomial Remainder Sequence and its Subresultants

Akira Terui

Journal of Algebra, 320(2) 633-659, Jun, 2008 Peer-reviewed
Recursive Polynomial Remainder Sequence and the Nested Subresultants

Akira Terui

Computer Algebra in Scientific Computing (Proc. CASC 2005), Lecture Notes in Computer Science 3718, Springer, 3718 445-456, Sep, 2005 Peer-reviewed
Subresultants in Recursive Polynomial Remainder Sequence

Akira Terui

Proceedings of The 6th International Workshop on Computer Algebra in Scientific Computing: CASC 2003, Institute for Informatics, Technische Universitat Munchen, Garching, Germanay, 363-375, Sep, 2003 Peer-reviewed
Durand-Kerner Method for the Real Roots

Akira Terui, Tateaki Sasaki

Japan Journal of Industrial and Applied Mathematics, 19(1) 19-38, Feb, 2002 Peer-reviewed
"Approximate Zero-points" of Real Univariate Polynomial with Large Error Terms

Akira Terui, Tateaki Sasaki

IPSJ Journal (情報処理学会論文誌), 41(4) 974-989, Apr, 2000 Peer-reviewed

Misc.

A Report of CASC 2023 (CASC2023の報告)

Akira Terui

数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation, 30(1) 72-77, Jan, 2024 Lead authorLast authorCorresponding author
Bezout行列に基づく近似GCD計算アルゴリズムGPGCDの複数多項式への拡張—日本数式処理学会第31回大会報告

池泊明, 照井章

数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation, 29(1) 25-28, Jan, 2023
Grobner基底を用いた「刈屋の定理」の証明—2021年度合同分科会報告

伊藤綾音, 照井章

数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation, 28(2) 111-114, Jul, 2022
Wu's Methodを用いた「刈屋の定理」の証明—2021年度合同分科会報告

葛西剛史, 照井章

数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation, 28(2) 115-118, Jul, 2022
最小消去多項式を用いた一般固有ベクトル空間の構成—日本数式処理学会第30回大会報告

田島慎一, 小原功任, 照井章

数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation, 28(1) 32-35, Apr, 2022
包括的グレブナー基底系計算に基づく限量子消去アルゴリズムを用いたロボットの逆運動学問題の解法と実装—日本数式処理学会第30回大会報告

大瀧脩人, 照井章, 三河正彦

数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation, 28(1) 36-39, Apr, 2022
グレブナー基底計算を用いたロボットの逆運動学問題の解法と実装

堀込紀行, 照井章, 三河正彦

数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation, 27(2) 9-12, Aug, 2021 Corresponding author
「夏学2020オンライン」参加報告

照井章, 藤村雅代

数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation, 27(1) 65-68, Jan, 2021
数式処理と画像処理を用いたロボットアーム制御系の実装 (分科会報告 2019年度理論分科会&システム分科会合同研究会報告)

照井章, 堀込紀行, 越川竜士, 大瀧脩人, 三河正彦

数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation, 26(2) 34-37, Aug, 2020 Corresponding author
Algorithm for Calculating Approximate GCD of Univariate Polynomials with the Bezout Resultant Matrix(2) (Computer Algebra : Theory and its Applications)

(2159) 75-85, Jun, 2020
Algorithm for Calculating Approximate GCD of Univariate Polynomials with the Bezout Resultant Matrix

池泊明, 照井章

数理解析研究所講究録, (2104) 8-13, Feb, 2019
Fast Algorithm for Calculating the Minimal Annihilating Polynomials of Matrices via Pseudo Annihilating Polynomials

Shinichi Tajima, Katsuyoshi Ohara, Akira Terui

Jan 26, 2018
論理式簡単化アルゴリズムWhite-Boxの拡張と実装 (数式処理とその周辺分野の研究)

國廣尭之, 岩根秀直, 和田優未, 照井章

数理解析研究所講究録, 2054(2054) 77-95, Oct, 2017
大学入試における数列の問題を解くための自動推論とその実装について (2015年度合同分科会報告)

和田優未, 松崎拓也, 照井章, 新井紀子

数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation, 23(2) 13-27, May, 2017
行列の最小多項式候補と拡張Horner法を用いた逆行列計算について (2015年度合同分科会報告)

田島慎一, 小原功任, 照井章

数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation, 23(2) 28-37, May, 2017
Calculating matrix inverse by the extended Horner's rule with pseudo minimal polynomial(2)

田島慎一, 小原功任, 照井章

数理解析研究所講究録, (2019) 28-38, Apr, 2017
An automated deduction and its implementation for solving problems of sequence at university entrance examination

和田優未, 松崎拓也, 照井章, 新井紀子

数理解析研究所講究録, (2022) 100-111, Apr, 2017
複数個の1変数多項式に対する簡約された部分終結式行列の構成について (第24回日本数式処理学会大会報告)

照井章

数式処理, 22(2) 18-21, May, 2016
Improvement of efficiency of an algorithm for calculating eigenvectors of matrices with parallelized Horner's rule for matrices (Developments in Computer Algebra Research)

Tajima Shinichi, Ohara Katsuyoshi, Terui Akira

RIMS Kokyuroku, 1976 81-90, Dec, 2015
Calculating eigenvectors of matrices using pseudo annihilating polynomials IV (Computer Algebra and Related Topics)

Tajima Shinichi, Terui Akira

RIMS Kokyuroku, 1955 188-197, Jul, 2015

Books and Other Publications

Fundamental Theory of Computer Algebra (計算機代数の基礎理論)

Kosaku Nagasaka, Hidenao Iwane, Takuya Kitamoto, Masaru Sanuki, Akira Terui, Katsusuke Nabeshima (Role: Joint author)

Kyoritsu Shuppan Co., Ltd., Mar, 2019 (ISBN: 9784320113732)

Presentations

An Exact Algorithm for Computing the Structure of Jordan Blocks

Shinichi Tajima, Katsuyoshi Ohara, Akira Terui

RIMS Workshop on Computer Algebra - Foundations and Applications, Dec 20, 2023
26

Inverse Kinematics and Path Planning of Manipulator Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems

Mizuki Yoshizawa, Akira Terui, Masahiko Mikawa

The 25th International Workshop on Computer Algebra in Scientific Computing, Sep 1, 2023
包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学問題および経路計画問題の解法と実装

吉澤瑞輝, 照井章, 三河正彦

日本数式処理学会第32回大会, Jun 10, 2023, 日本数式処理学会
非線形連立方程式の求解による小惑星探査機ローバーの位置決定問題の解法の拡張

金泉拓真, 照井章, 三河正彦

Risa/Asir Conference 2023, Mar 27, 2023, 金沢大学理工研究域数物科学系応用数理講座
一般固有空間とJordan鎖の厳密で効率的な計算 (2)

田島慎一, 小原功任, 照井章

日本数学会2022年度秋季総合分科会, Sep 13, 2022, 日本数学会
一般固有空間とJordan鎖の厳密で効率的な計算 (1)

田島慎一, 小原功任, 照井章

日本数学会2022年度秋季合同分科会, Sep 13, 2022, 日本数学会
The GPGCD Algorithm with the Bézout Matrix for Multiple Univariate Polynomials

Boming Chi, Akira Terui

The 24th International Workshop on Computer Algebra in Scientific Computing (CASC 2022), Aug 25, 2022
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

The 23rd International Workshop on Computer Algebra in Scientific Computing (CASC 2021), Sep 13, 2021
LEGO 3D CGモデルのジョイントを考慮したURDF変換ツール

三河正彦, 照井章

ROSConJP 2021, Sep 16, 2021, 一般社団法人 ROSCon JP
包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学問題の解法と実装

大瀧脩人, 照井章, 三河正彦

日本数式処理学会第30回大会, Jun 5, 2021, 日本数式処理学会
最小消去多項式を用いた一般固有ベクトル空間の構成

田島慎一, 小原功任, 照井章

日本数式処理学会第30回大会, Jun 5, 2021, 日本数式処理学会
An exercise in computer under COVID-19 situation: an online computer training course in college of mathematics

Akira Terui

Feb 23, 2021
An implementation of control system of a robot manipulator with computer algebra and image processing

Akira Terui

Jan 15, 2021
Motion planning in robotics with computer algebra: introduction and research topics

Akira Terui

Dec 11, 2020 Invited
Motion planning in robotics with computer algebra

Akira Terui

Nov 13, 2020
A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Gröbner Bases

Noriyuki Horigome, Akira Terui, Masahiko Mikawa

Oct 31, 2020
Software tools for transformation of a LEGO 3D model to URDF and an visualization of the solution of the inverse kinematic problem with the Gröbner bases

Masahiko Mikawa, Akira Terui, Noriyuki Horigome

The 38th Annual Conference of the Robot Society of Japan, Oct 10, 2020
The GPGCD Algorithm with the Bézout Matix

Boming Chi, Akira Terui

Workshop "GCD and related topics": GCDART 2020, Sep 22, 2020
The GPGCD Algorithm with the Bézout Matrix

Boming Chi, Akira Terui

The 22nd International Workshop on Computer Algebra in Scientific Computing (CASC 2020), Sep 17, 2020
Solving System of Nonlinear Equations with the Genetic Algorithm and Newton’s Method

Ryuji Koshikawa, Akira Terui, Masahiko Mikawa

The 7th International Congress on Mathematical Software (ICMS 2020), Jul 16, 2020

Professional Memberships

2004 - Present

Mathematical Society of Japan
2000 - Present

Association for Computing Machinery
1998 - Present

Japan Society for Symbolic and Algebraic Computation
1998 - Present

Information Processing Society of Japan
Japan Society for Industrial and Applied Mathematics

Major Research Projects

FY2024 Robust and Efficient Robot Motion Planning by Computer Algebra Assistance Program

Subsidy Program for Promotion of Machinery, Research Assistance, Japan Keirin Autorace Foundation, Apr, 2024 - Mar, 2025

Akira Terui
Development and Application of Robust Motion Planning Platform of Robots with Symbolic-Numeric Computation

Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, Apr, 2020 - Mar, 2023

Akira Terui

Industrial Property Rights

特開2012-150060 空洞計測装置及びレーザプローブ装置

森田純, 照井章, 小副川健, 清水健一, 岡本弘仁, 末久高平

Social Activities

ロボットは数学の大学入試問題をどうやって解くか？

Lecturer

愛知県立明和高等学校, 愛知県立明和高等学校令和3年度SSH事業「数学夏の学校」, ウィルあいち（愛知県女性総合センター）, Aug 2, 2022 - Aug 2, 2022

Profile Information

Research Interests

Research Areas

Research History

Papers

Misc.

Books and Other Publications

Presentations

Professional Memberships

Major Research Projects

Industrial Property Rights

Social Activities

Menu

Coauthors