コレクションホームページ

1514 Computer Algebra : Design of Algorithms, Implementations and Applications   38
(http://hdl.handle.net/2433/57973)

ブラウズ
文献一覧(目次の昇順ソート): 1 - 20 / 38
書誌情報ファイル
表紙・目次
   (2006-09)
  数理解析研究所講究録, 1514
file type icon
拡張 Hensel 構成と多変数代数関数の特異性 (Computer Algebra : Design of Algorithms, Implementations and Applications)
  佐々木, 建昭; 稲葉, 大樹; 片町, 健太郎 (2006-09)
  数理解析研究所講究録, 1514: 1-7
file type icon
特異点解消を用いた桁落ち無しべき級数計算 (Computer Algebra : Design of Algorithms, Implementations and Applications)
  山内, 歩 (2006-09)
  数理解析研究所講究録, 1514: 8-14
file type icon
従変数に重みをつけた拡張 Hensel 構成と Newton 多面体 (Computer Algebra : Design of Algorithms, Implementations and Applications)
  小副川, 健; 佐々木, 建昭 (2006-09)
  数理解析研究所講究録, 1514: 15-21
file type icon
多変数多項式に対する新しい因数分解法 (Computer Algebra : Design of Algorithms, Implementations and Applications)
  佐々木, 建昭; 稲葉, 大樹 (2006-09)
  数理解析研究所講究録, 1514: 22-28
file type icon
代数的Riccati 方程式の解法について (Computer Algebra : Design of Algorithms, Implementations and Applications)
  北本, 卓也 (2006-09)
  数理解析研究所講究録, 1514: 29-32
file type icon
GAP の関数 Normalizer の改良 (Computer Algebra : Design of Algorithms, Implementations and Applications)
  宮本, 泉 (2006-09)
  数理解析研究所講究録, 1514: 33-38
file type icon
$GF(3^m)$におけるTate Pairing の計算および実装について (Computer Algebra : Design of Algorithms, Implementations and Applications)
  岩見, 真希; 久保寺, 範和; 側高, 幸治; 岡本, 栄司 (2006-09)
  数理解析研究所講究録, 1514: 39-45
file type icon
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 (2006-09)
  数理解析研究所講究録, 1514: 46-52
file type icon
数式処理システムを用いた芸術における数理科学的アプローチ (Computer Algebra : Design of Algorithms, Implementations and Applications)
  桐生, 裕介; 長坂, 耕作; 高橋, 正 (2006-09)
  数理解析研究所講究録, 1514: 53-58
file type icon
On relationship between proliferation and transition raets of multicells(Computer Algebra : Design of Algorithms, Implementations and Applications)
  YOSHIDA, HIROSHI; ANAI, HIROKAZU; ORII, SHIGEO; HORIMOTO, Katsuhisa (2006-09)
  数理解析研究所講究録, 1514: 59-65
file type icon
Symbolic-Numeric Optimization for Estimation of Parameters in a Biological Kinetic Model(Computer Algebra : Design of Algorithms, Implementations and Applications)
  ORII, SHIGEO; HORIMOTO, KATSUHISA; ANAI, HIROKAZU (2006-09)
  数理解析研究所講究録, 1514: 66-73
file type icon
Solving and visualizing parametric quantified constraints in control system design(Computer Algebra : Design of Algorithms, Implementations and Applications)
  兵頭, 礼子; Hong, Myunghoon; 屋並, 仁史; 穴井, 宏和; Ratschan, Stefan; 原, 辰次 (2006-09)
  数理解析研究所講究録, 1514: 74-80
file type icon
A Quantifier Elimination Procedure Based on Cylindrical Algebraic Decomposition in SyNRAC(Computer Algebra : Design of Algorithms, Implementations and Applications)
  YANAMI, HITOSHI; ANAI., HIROKAZU (2006-09)
  数理解析研究所講究録, 1514: 81-86
file type icon
1変数多項式の再帰的な多項式剰余列と入れ子部分終結式 (Computer Algebra : Design of Algorithms, Implementations and Applications)
  照井, 章 (2006-09)
  数理解析研究所講究録, 1514: 87-93
file type icon
有理式を要素とする行列式の計算法 (Computer Algebra : Design of Algorithms, Implementations and Applications)
  梅田, 恭; 佐々木, 建昭 (2006-09)
  数理解析研究所講究録, 1514: 94-100
file type icon
多変数近似GCD 用算法の性能比較 (Computer Algebra : Design of Algorithms, Implementations and Applications)
  讃岐, 勝 (2006-09)
  数理解析研究所講究録, 1514: 101-107
file type icon
多項式剰余公式の計算アルゴリズム (Computer Algebra : Design of Algorithms, Implementations and Applications)
  庄司, 卓夢; 田島, 慎一 (2006-09)
  数理解析研究所講究録, 1514: 108-114
file type icon
有理関数補間の不必要な極の解析 (Computer Algebra : Design of Algorithms, Implementations and Applications)
  甲斐, 博 (2006-09)
  数理解析研究所講究録, 1514: 115-121
file type icon
多項式の実数解を求める方法について : 再訪 (Computer Algebra : Design of Algorithms, Implementations and Applications)
  平野, 照比古 (2006-09)
  数理解析研究所講究録, 1514: 122-124
file type icon
文献一覧(目次の昇順ソート): 1 - 20 / 38