書誌情報	ファイル
表紙・目次    (2009-06)   数理解析研究所講究録, 1652
係数ドメインを多項式環とする多項式環の簡約グレブナ基底について (Computer Algebra : Design of Algorithms, Implementations and Applications)   鍋島, 克輔 (2009-06)   数理解析研究所講究録, 1652: 1-10
Comprehensive Grobner systemにおけるNabeshima algorithmの改良とその検証 (Computer Algebra : Design of Algorithms, Implementations and Applications)   篠原, 直行 (2009-06)   数理解析研究所講究録, 1652: 11-18
グレブナーwalkアルゴリズムの実装と効率化について (Computer Algebra : Design of Algorithms, Implementations and Applications)   野呂, 正行; 崎山, 裕尊 (2009-06)   数理解析研究所講究録, 1652: 19-25
安定化理論に基づくInterval Trace Liftingについて (Computer Algebra : Design of Algorithms, Implementations and Applications)   白柳, 潔; 関川, 浩 (2009-06)   数理解析研究所講究録, 1652: 26-32
悪条件性を推定する浮動小数グレブナー基底の計算法 (Computer Algebra : Design of Algorithms, Implementations and Applications)   佐々木, 建昭; 加古, 富志雄 (2009-06)   数理解析研究所講究録, 1652: 33-43
Interesting Variants of the Josephus Problem : How high school students can discover theorems using computer algebra systems (Computer Algebra : Design of Algorithms, Implementations and Applications)   MIYADERA, RYOHEI; MINEMATSU, DAISUKE; MATSUI, HIROSHI; YAMAUCHI, TOSHIYUKI; NAITO, MASAKAZU; TATSUMI, SOH; INOUE, TAKAFUMI (2009-06)   数理解析研究所講究録, 1652: 44-54
安定化剰余列算法の改良 (Computer Algebra : Design of Algorithms, Implementations and Applications)   讃岐, 勝 (2009-06)   数理解析研究所講究録, 1652: 55-62
Ruppert行列による近似GCDの算出 (Computer Algebra : Design of Algorithms, Implementations and Applications)   長坂, 耕作 (2009-06)   数理解析研究所講究録, 1652: 63-70
係数の小さい$\mathbb{K}[x]$上格子基底 (Computer Algebra : Design of Algorithms, Implementations and Applications)   大倉, 安孝 (2009-06)   数理解析研究所講究録, 1652: 71-78
判別式と拡張Hensel構成 (Computer Algebra : Design of Algorithms, Implementations and Applications)   小副川, 健 (2009-06)   数理解析研究所講究録, 1652: 79-84
多変数代数関数のTaylor & Hensel級数の収束領域 (Computer Algebra : Design of Algorithms, Implementations and Applications)   佐々木, 建昭; 稲葉, 大樹 (2009-06)   数理解析研究所講究録, 1652: 85-92
傾きを用いた衣服記号記述基盤について (Computer Algebra : Design of Algorithms, Implementations and Applications)   桐生, 裕介; 北本, 卓也; 山口, 哲 (2009-06)   数理解析研究所講究録, 1652: 93-101
Computations of noncommutative Alexander invariants (Computer Algebra : Design of Algorithms, Implementations and Applications)   逆井, 卓也; 桐生, 裕介 (2009-06)   数理解析研究所講究録, 1652: 102-111
陰関数描画と区間数演算の効率化について (Computer Algebra : Design of Algorithms, Implementations and Applications)   村尾, 裕一; 齋藤, 友克; 近藤, 祐史 (2009-06)   数理解析研究所講究録, 1652: 112-119
インタラクティブコンピューティングの世界 (Computer Algebra : Design of Algorithms, Implementations and Applications)   五十嵐, 健夫 (2009-06)   数理解析研究所講究録, 1652: 120-124
GAPを用いたRubik's Cube解法表示ソフトについて (Computer Algebra : Design of Algorithms, Implementations and Applications)   田崎, 拓馬; 藤本, 光史 (2009-06)   数理解析研究所講究録, 1652: 125-131
一般化van der Monde行列の行列式について (Computer Algebra : Design of Algorithms, Implementations and Applications)   北本, 卓也; 山口, 哲 (2009-06)   数理解析研究所講究録, 1652: 132-133
数値代数方程式のフィルタ対角化法による解法 (Computer Algebra : Design of Algorithms, Implementations and Applications)   村上, 弘 (2009-06)   数理解析研究所講究録, 1652: 134-145
有限体上の予想される第一原始多項式について   太刀川, 弘幸; 照井, 章 (2009-06)   数理解析研究所講究録, 1652: 146-154