書誌情報	ファイル
表紙・目次    (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