Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-10 / 24.

前
1
2
3
次

検索結果:

書誌情報	ファイル
多変数多項式に対するNewton polytope (Computer Algebra --Theory and its Applications) 讃岐, 勝; 稲葉, 大樹; 佐々木, 建昭 (2019-12) 数理解析研究所講究録, 2138: 39-44
三角形である準素成分を持つ辞書式順序グレブナー基底について (Computer Algebra --Theory and its Applications) DAHAN, XAVIER (2019-12) 数理解析研究所講究録, 2138: 30-33
プログラミング言語Egisonで計算する微分幾何 (Computer Algebra --Theory and its Applications) 江木, 聡志 (2019-12) 数理解析研究所講究録, 2138: 1-11
二重イデアル商を用いた新しい準素分解のアルゴリズム (Computer Algebra --Theory and its Applications) 石原, 侑樹 (2019-12) 数理解析研究所講究録, 2138: 34-38
次数指定型/update可能な高速1変数近似GCD計算 (Computer Algebra --Theory and its Applications) 讃岐, 勝 (2019-12) 数理解析研究所講究録, 2138: 45-50
Formula Simplification for Real Quantifier Elimination Using Geometric Invariance (Computer Algebra --Theory and its Applications) 岩根, 秀直; 穴井, 宏和 (2019-12) 数理解析研究所講究録, 2138: 21-29
Gröbner basis computation in Risa/Asir (Computer Algebra --Theory and its Applications) 野呂, 正行 (2019-12) 数理解析研究所講究録, 2138: 12-20
拡張Hensel構成の効率化 - 疎な多変数多項式の因数分解を念頭に - (Computer Algebra --Theory and its Applications) 佐々木, 建昭; 讃岐, 勝; 稲葉, 大樹 (2019-12) 数理解析研究所講究録, 2138: 87-95
近似GCDの枠組みでの近似無平方分解 (Computer Algebra --Theory and its Applications) 長坂, 耕作 (2019-12) 数理解析研究所講究録, 2138: 96-100
学習モデルにおける補題の証明 (Computer Algebra --Theory and its Applications) 鷲野, 朋広; 高橋, 正 (2019-12) 数理解析研究所講究録, 2138: 110-118