書誌情報	ファイル
表紙・目次    (2002-11)   数理解析研究所講究録, 1295
代数的局所コホモロジー類の満たすホロノミック系の構成法についてII (Computer Algebra : Algorithms, Implementations and Applications)   田島, 慎一; 中村, 弥生 (2002-11)   数理解析研究所講究録, 1295: 1-8
非同次常微分方程式の可解条件についてII (Computer Algebra : Algorithms, Implementations and Applications)   田島, 慎一 (2002-11)   数理解析研究所講究録, 1295: 9-16
Asirによる有限群の不変式環の生成元の計算 (Computer Algebra : Algorithms, Implementations and Applications)   渡邊, 芳英; 鍋島, 勇 (2002-11)   数理解析研究所講究録, 1295: 17-28
GAPパッケージParallelGAPの計算実験 (Computer Algebra : Algorithms, Implementations and Applications)   宮本, 泉 (2002-11)   数理解析研究所講究録, 1295: 29-34
極限コンパスの実装 (Computer Algebra : Algorithms, Implementations and Applications)   宮本, 健司 (2002-11)   数理解析研究所講究録, 1295: 35-41
A Machine Proof of the Proposition : "Ideal $\subseteq \cup_i$ PrimeIdeal$_i$ $\Rightarrow$ Ideal $\subseteq$ PrimeIdeal$_i$" (Computer Algebra : Algorithms, Implementations and Applications)   陳, 凌鈞; 小林, 英恒; 村尾, 裕一; 鈴木, 秀男 (2002-11)   数理解析研究所講究録, 1295: 42-50
遅延微分方程式の級数による解法 (Computer Algebra : Algorithms, Implementations and Applications)   平山, 弘; 佐藤, 創太郎 (2002-11)   数理解析研究所講究録, 1295: 51-55
REDUCEによる有理型差分方程式の保存量の計算 (Computer Algebra : Algorithms, Implementations and Applications)   高, 敏; 加藤, 泰幸; 伊藤, 雅明 (2002-11)   数理解析研究所講究録, 1295: 56-61
量子アルゴリズムを用いた多項式GCDの計算 (Computer Algebra : Algorithms, Implementations and Applications)   武田, 邦敬; 甲斐, 博; 野田, 松太郎 (2002-11)   数理解析研究所講究録, 1295: 62-68
Factoring Algorithms Based on NMR Quantum Computers (Computer Algebra : Algorithms, Implementations and Applications)   Kunihiro, Noboru; Yamashita, Shigeru (2002-11)   数理解析研究所講究録, 1295: 69-74
有限体上の多変数多項式の因数分解について (Computer Algebra : Algorithms, Implementations and Applications)   野呂, 正行; 横山, 和弘 (2002-11)   数理解析研究所講究録, 1295: 75-79
大整数に対する整数・有理数変換について (Computer Algebra : Algorithms, Implementations and Applications)   佐々木, 建昭; 高橋, 善徳; 杉本, 卓也 (2002-11)   数理解析研究所講究録, 1295: 80-86
整数行列のFrobenius標準形のモジュラー計算法(II) (Computer Algebra : Algorithms, Implementations and Applications)   森継, 修一; 栗山, 和子 (2002-11)   数理解析研究所講究録, 1295: 87-92
Projective Moduli Space for the Polynomials of Degree $n$ or Less (Computer Algebra : Algorithms, Implementations and Applications)   藤村, 雅代; 西沢, 清子 (2002-11)   数理解析研究所講究録, 1295: 93-98
Deformation of Singularity on an Irreducible Quartic Curve by Using the Computer Algebra System Risa/Asir (Computer Algebra : Algorithms, Implementations and Applications)   Takahashi, Tadashi (2002-11)   数理解析研究所講究録, 1295: 99-101
Spiral spline interpolation to a planar spiral (Computer Algebra : Algorithms, Implementations and Applications)   Habib, Zulfiqar; Sakai, Manabu (2002-11)   数理解析研究所講究録, 1295: 102-108
数式処理システムの教育利用におけるインタフェースについて (Computer Algebra : Algorithms, Implementations and Applications)   出口, 博章 (2002-11)   数理解析研究所講究録, 1295: 109-110
J/LINKを用いた数式処理計算の方法について (Computer Algebra : Algorithms, Implementations and Applications)   高橋, 正; 下村, 祐貴子 (2002-11)   数理解析研究所講究録, 1295: 111-116
1変数代数方程式の微小根の上界を用いた近接根の計算 (Computer Algebra : Algorithms, Implementations and Applications)   照井, 章 (2002-11)   数理解析研究所講究録, 1295: 117-122