書誌情報	ファイル
表紙・目次    (2007-09)   数理解析研究所講究録, 1568
項置換による限定子除去アルゴリズムにおける論理式簡略化について (Computer Algebra : Design of Algorithms, Implementations and Applications)   屋並, 仁史; 穴井, 宏和 (2007-09)   数理解析研究所講究録, 1568: 1-6
コンパートメントモデルにおける薬物動態の代数方程式を用いた解析 (Computer Algebra : Design of Algorithms, Implementations and Applications)   吉田, 寛; 穴井, 宏和; 堀本, 勝久 (2007-09)   数理解析研究所講究録, 1568: 7-13
数式処理を用いたLSI 設計に関する研究 (Computer Algebra : Design of Algorithms, Implementations and Applications)   中林, 太美世; 加古, 富志雄 (2007-09)   数理解析研究所講究録, 1568: 14-19
安定化理論における台収束の応用について (Computer Algebra : Design of Algorithms, Implementations and Applications)   白柳, 潔; 関川, 浩 (2007-09)   数理解析研究所講究録, 1568: 20-26
Quadratic Frobenius test and cyclotomic polynomials(Computer Algebra - Design of Algorithms, Implementations and Applications)   篠原, 直行 (2007-09)   数理解析研究所講究録, 1568: 27-33
Coherent Configuration の同型計算 (Computer Algebra : Design of Algorithms, Implementations and Applications)   宮本, 泉 (2007-09)   数理解析研究所講究録, 1568: 34-39
斉次化とinter-reduction によるグレブナー基底計算の効率化について (Computer Algebra : Design of Algorithms, Implementations and Applications)   野呂, 正行 (2007-09)   数理解析研究所講究録, 1568: 40-47
Dynamic Evaluation を用いたDiscrete Comprehensive Grobner Bases の計算 (Computer Algebra : Design of Algorithms, Implementations and Applications)   倉田, 陽介; 野呂, 正行 (2007-09)   数理解析研究所講究録, 1568: 48-54
Comprehensive グレブナー基底の分散計算について (Computer Algebra : Design of Algorithms, Implementations and Applications)   井上, 秀太郎; 河元, 義文; 佐藤, 洋祐 (2007-09)   数理解析研究所講究録, 1568: 55-59
カテナリーを用いた衣服における記号記述の基盤整備 (Computer Algebra : Design of Algorithms, Implementations and Applications)   桐生, 裕介; 北本, 卓也; 長坂, 耕作; 高橋, 正; 山口, 哲 (2007-09)   数理解析研究所講究録, 1568: 60-66
コーシー問題の解法とアルゴリズム (Computer Algebra : Design of Algorithms, Implementations and Applications)   庄司, 卓夢; 田島, 慎一 (2007-09)   数理解析研究所講究録, 1568: 67-73
零次元代数的局所コホモロジーの計算法とスタンダード基底計算について(II) (Computer Algebra : Design of Algorithms, Implementations and Applications)   田島, 慎一 (2007-09)   数理解析研究所講究録, 1568: 74-80
Syzygies を用いたNoether 作用素計算アルゴリズム (Computer Algebra : Design of Algorithms, Implementations and Applications)   田島, 慎一; 中村, 弥生 (2007-09)   数理解析研究所講究録, 1568: 81-86
古今算法記遺題の数値解について (Computer Algebra : Design of Algorithms, Implementations and Applications)   荒井, 千里; 森継, 修一 (2007-09)   数理解析研究所講究録, 1568: 87-93
An answer to an open problem on cubic spiral transition between two circles(Computer Algebra - Design of Algorithms, Implementations and Applications)   Habib, Zulfiqar; Sakai, Manabu (2007-09)   数理解析研究所講究録, 1568: 94-100
MathML に関するライブラリとその応用について (Computer Algebra : Design of Algorithms, Implementations and Applications)   黒田, 拓 (2007-09)   数理解析研究所講究録, 1568: 101-107
異常な多変数多項式の近似 GCD 計算法 (Computer Algebra : Design of Algorithms, Implementations and Applications)   讃岐, 勝; 佐々木, 建昭 (2007-09)   数理解析研究所講究録, 1568: 108-114
$k(u_1, ..., u_\ell)[x]$ における拡張 Hensel 構成 (Computer Algebra : Design of Algorithms, Implementations and Applications)   小副川, 健 (2007-09)   数理解析研究所講究録, 1568: 115-119
拡張 Hensel 因子の収束・発散性と共役性 (Computer Algebra : Design of Algorithms, Implementations and Applications)   稲葉, 大樹; 佐々木, 建昭 (2007-09)   数理解析研究所講究録, 1568: 120-126