照井 章(テルイ アキラ)
- 論文
- Computing Clustered Close-Roots of Univariate Polynomials
Tateaki Sasaki; Akira Terui
Proceedings of The 3rd International Workshop on Symbolic-Numeric Computation/p.177-184, 2009-07 - Towards simplified construction of subresultant matrix of multiple univariate polynomials
照井 章
Dagstuhl Reports/5(6)/pp.65-65, 2015-06 - A formula for separating small roots of a polynomial
Tateaki Sasaki; Akira Terui
ACM SIGSAM Bulletin/36(3)/p.19-23, 2002-03 - Computer-assisted proofs of "Kariya's theorem" with computer algebra
Ayane Ito; Takefumi Kasai; Akira Terui
arXiv:2304.07491, 2023-04 - Bezout行列に基づく近似GCD計算アルゴリズムGPGCDの複数多項式への拡張
池 泊明; 照井 章
Bulletin of JSSAC（日本数式処理学会誌）/29(1)/pp.25-28, 2023-01 - Exact Algorithms for Computing Generalized Eigenspaces of Matrices via Annihilating Polynomials
Shinichi Tajima; Katsuyoshi Ohara; Akira Terui
arxiv:2209.04807, 2022-09 - The GPGCD Algorithm with the Bézout Matrix for Multiple Univariate Polynomials
Chi Boming; Terui Akira
arXiv:2205.02984, 2022-05 - Wu's Methodを用いた「刈屋の定理」の証明
葛西 剛史; 照井 章
数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation/28(2)/pp.115-118, 2022-07 - Grobner基底を用いた「刈屋の定理」の証明
伊藤 綾音; 照井 章
数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation/28(2)/pp.111-114, 2022-07 - 包括的グレブナー基底系計算に基づく限量子消去アルゴリズムを用いたロボットの逆運動学問題の解法と実装
大瀧 脩人; 照井 章; 三河 正彦
数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation/28(1)/pp.36-39, 2022-04 - 最小消去多項式を用いた一般固有ベクトル空間の構成
田島 慎一; 小原 功任; 照井 章
数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation/28(1)/pp.32-35, 2022-04 - A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Real Quantifier Elimination based on Comprehensive Gröbner Systems
Otaki Shuto; Terui Akira; Mikawa Masahiko
arXiv:2111.00384, 2021-11 - グレブナー基底計算を用いたロボットの逆運動学問題の解法と実装
堀込紀行; 照井 章; 三河正彦
Bulletin of JSSAC（日本数式処理学会誌）/27(2)/pp.9-12, 2021-08 - 数式処理と画像処理を用いたロボットアーム制御系の実装
照井 章; 堀込 紀行; 越川 竜士; 大瀧 修人; 三河 正彦
Bulletin of JSSAC（日本数式処理学会誌）/26(2)/pp.34-37, 2020-08 - Bezoutの終結式行列を用いたGPGCD法による1変数多項式の近似GCDの計算 II
池 泊明; 照井 章
数理解析研究所講究録/2159/pp.75-85, 2020-06 - Bezoutの終結式行列を用いたGPGCD法による1変数多項式の近似GCDの計算
池 泊明; 照井 章
数理解析研究所講究録/2104/pp.8-13, 2019-02 - 最小消去多項式候補を用いた逆行列計算と連立1次方程式の解法
田島慎一; 小原功任; 照井 章
数理解析研究所講究録/2038/pp.171-175, 2019-12 - 行列の最小多項式候補と拡張Horner法を用いた逆行列計算について
田島 慎一; 小原功任; 照井章
日本数学会2017年度年会 代数学分科会アブストラクト, 2017-03 - 行列Horner法の並列化による行列の固有ベクトル計算の効率化について
田島 慎一; 小原功任; 照井章
日本数学会2017年度年会 代数学分科会アブストラクト, 2017-03 - 大学入試における数列の問題を解くための自動推論とその実装について
和田優未; 松崎拓也; 照井章; 新井紀子
数理解析研究所講究録/2022/pp.100-111, 2017-04 - 行列の最小多項式候補と拡張Horner法を用いた逆行列計算について II
田島慎一; 小原功任; 照井 章
数理解析研究所講究録/2019/pp.28-38, 2017-04 - 行列Horner法の並列化による行列の固有ベクトル計算の効率化について
田島 慎一; 小原 功任; 照井 章
数理解析研究所講究録/1976/pp.81-90, 2015-12 - 行列の最小消去多項式候補を利用した固有ベクトル計算IV
田島 慎一; 照井 章
数理解析研究所講究録/1955/pp.188-197, 2015-07 - 行列Horner法の拡張と効率化 (数式処理研究の新たな発展)
田島 慎一; 小原 功任; 照井 章
数理解析研究所講究録/1930/pp.26-38, 2015-01 - 近似GCD算法GPGCDの新たな実験結果について
照井 章
数理解析研究所講究録/1930/pp.60-72, 2015-01 - さらに表示...
- Computing Clustered Close-Roots of Univariate Polynomials