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