長坂, 耕作. 二変数多項式の近似GCD. 数理解析研究所講究録. 2255. 2023. 117-125. In this talk, we briefly introduce our newly developed |
鍋島, 克輔 ... [et al]. 正次元イデアルのネター作用素の計算と特異点. 数理解析研究所講究録. 2255. 2023. 75-87. An algorithm for computing Noetherian |
中山, 洋将 ... [et al]. グレブナー基底による多面体の頂点の計算. 数理解析研究所講究録. 2255. 2023. 71-74. Zalgaller polyhedron is a convex |
田島, 慎一 ... [et al]. 多項式函数のbifurcation setの計算法I. 数理解析研究所講究録. 2255. 2023. 88-95. The tameness of a complex |
Fujimura, Masayo. An extension of Chapple's formula by Blaschke-like maps (Computer Algebra : Foundations and Applications) |
野呂, 正行. Signature based algorithm における𝘍₄スタイルの簡約アルゴリズムの実装について. 数理解析研究所講究録. 2255. 2023. 61-70. A signature-based |
大墨, 礼子 ... [et al]. 区間演算を用いた反復計算について. 数理解析研究所講究録. 2255. 2023. 26-31. The aim of this study is to find |
佐々木, 建昭. TES (Term Elimination Sequence)について. 数理解析研究所講究録. 2255. 2023. 39-50. In computer algebra, two |
高橋, 正 ... [et al]. ゲーム理論における数式処理の応用 --浮動小数係数多項式系に対するグレブナ基底の計算--. 数理解析研究所講究録. 2255. 2023. 51-60. ゲーム理論に |
中野, 哲夫 ... [et al]. Boolean Groebner 基底を用いた数独パズルの数学的難易度指標の相関について. 数理解析研究所講究録. 2255. 2023. 1-13. The Inoue |