書誌情報 | ファイル |
表紙・目次 (2004-10) 数理解析研究所講究録, 1395
| |
グレブナー基底計算のためのweight生成アルゴリズム 木村, 欣司; 野呂, 正行 (2004-10) 数理解析研究所講究録, 1395: 1-7
| |
パラメーターが指数部に現れる連立代数方程式について 横山, 和弘 (2004-10) 数理解析研究所講究録, 1395: 8-15
| |
トーリックイデアルに対する$F_4,F_5$アルゴリズムの解析 中山, 裕貴 (2004-10) 数理解析研究所講究録, 1395: 16-23
| |
Stability of Grobner bases and ACGB (Computer Algebra : Design of Algorithms, Implementations and Applications) Sato, Yosuke (2004-10) 数理解析研究所講究録, 1395: 24-30
| |
Generic Grobner basis in $\mathcal{\hat{D}}$-announcement (Computer Algebra : Design of Algorithms, Implementations and Applications) Bahloul, Rouchdi (2004-10) 数理解析研究所講究録, 1395: 31-37
| |
Transformations of Gauss hypergeometric functions (Computer Algebra : Design of Algorithms, Implementations and Applications) Vidunas, Raimundas (2004-10) 数理解析研究所講究録, 1395: 38-44
| |
Risa/Asir Package for Non-commutative Grobner Bases and its Applications (Computer Algebra : Design of Algorithms, Implementations and Applications) 小原, 功任 (2004-10) 数理解析研究所講究録, 1395: 45-49
| |
有理関数のローラン展開アルゴリズムと代数的局所コホモロジー 加藤, 涼香; 田島, 慎一 (2004-10) 数理解析研究所講究録, 1395: 50-56
| |
零次元準素イデアルとNoether作用素アルゴリズム 田島, 慎一 (2004-10) 数理解析研究所講究録, 1395: 57-63
| |
多変数多項式の絶対既約半径の改良? 長坂, 耕作 (2004-10) 数理解析研究所講究録, 1395: 64-70
| |
Approximate Computation of Pseudovarieties (Computer Algebra : Design of Algorithms, Implementations and Applications) Corless, Robert M.; Kai, Hiroshi; Watt, Stephen M. (2004-10) 数理解析研究所講究録, 1395: 71-75
| |
多項式とその導関数の近接根を分離する定理 佐々木, 建昭 (2004-10) 数理解析研究所講究録, 1395: 76-82
| |
近似特異な多項式と多項式系 佐々木, 建昭 (2004-10) 数理解析研究所講究録, 1395: 83-90
| |
PC-PRS算法による多変数近似GCD計算 讃岐, 勝 (2004-10) 数理解析研究所講究録, 1395: 91-96
| |
再帰的な部分終結式と1変数代数方程式の実根の個数の計算 照井, 章 (2004-10) 数理解析研究所講究録, 1395: 97-103
| |
多項式GCDを用いた復号法に関する研究 上原, 剛; 甲斐, 博; 野田, 松太郎 (2004-10) 数理解析研究所講究録, 1395: 104-110
| |
拡張Hensel構成を用いた多変数多項式の因数分解 稲葉, 大樹 (2004-10) 数理解析研究所講究録, 1395: 111-118
| |
多変数多項式の解析的因数分解アルゴリズム 岩見, 真希 (2004-10) 数理解析研究所講究録, 1395: 119-125
| |
代数幾何的な多変数多項式既約証明アルゴリズム ベック, 和穂 エリック (2004-10) 数理解析研究所講究録, 1395: 126-131
| |