Mizuki Yoshizawa, Akira Terui, Masahiko Mikawa. Inverse Kinematics and Path Planning of Manipulator Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems. Computer Algebra in Scientific Computing, Lecture Notes in Computer Science 14139. 2023. 393-419
照井 章. コロナ禍の計算機演習 : 数学科における数式処理を用いた計算機実習の遠隔授業による取り組み-特集論文 With/After COVID-19における数式処理の可能性. 数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation. 2022. 28. 2. 53-79
Boming Chi, Akira Terui. The GPGCD Algorithm with the Bézout Matrix. Computer Algebra in Scientific Computing: Proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, CASC 2020. 2020. 170-187
池 泊明, 照井 章. Bezout行列に基づく近似GCD計算アルゴリズムGPGCDの複数多項式への拡張-日本数式処理学会第31回大会報告. 数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation. 2023. 29. 1. 25-28
伊藤 綾音, 照井 章. Grobner基底を用いた「刈屋の定理」の証明-2021年度合同分科会報告. 数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation. 2022. 28. 2. 111-114
葛西 剛史, 照井 章. Wu's Methodを用いた「刈屋の定理」の証明-2021年度合同分科会報告. 数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation. 2022. 28. 2. 115-118
田島 慎一, 小原 功任, 照井 章. 最小消去多項式を用いた一般固有ベクトル空間の構成-日本数式処理学会第30回大会報告. 数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation. 2022. 28. 1. 32-35
大瀧 脩人, 照井 章, 三河 正彦. 包括的グレブナー基底系計算に基づく限量子消去アルゴリズムを用いたロボットの逆運動学問題の解法と実装-日本数式処理学会第30回大会報告. 数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation. 2022. 28. 1. 36-39
Inverse Kinematics and Path Planning of Manipulator Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems
(The 25th International Workshop on Computer Algebra in Scientific Computing 2023)