Collection home page

1295 Computer Algebra : Algorithms, Implementations and Applications   35
(http://hdl.handle.net/2433/40870)

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