Collection home page

Theory and Application in Computer Algebra   23
(http://hdl.handle.net/2433/63088)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 20 of 23
BibliographyContents
表紙・目次
   (2000-04)
  数理解析研究所講究録, 1138
file type icon
二変数多項式の近似因数分解 : 許容度の下限と既約判定 (数式処理における理論と応用の研究)
  長坂, 耕作 (2000-04)
  数理解析研究所講究録, 1138: 1-12
file type icon
浮動小数係数での多変数ヘンゼル構成における桁落ちのメカニズム (数式処理における理論と応用の研究)
  佐々木, 建昭 (2000-04)
  数理解析研究所講究録, 1138: 13-27
file type icon
拡張Hensel構成と多変数多項式の因数分解 (数式処理における理論と応用の研究)
  佐々木, 建昭, 稲葉, 大樹 (2000-04)
  数理解析研究所講究録, 1138: 28-42
file type icon
誤差項をもつ実多項式の「近似実根」の計算とその応用 (数式処理における理論と応用の研究)
  照井, 章 (2000-04)
  数理解析研究所講究録, 1138: 43-55
file type icon
線形写像による判定を用いた代数方程式の実解の代数的解法について (数式処理における理論と応用の研究)
  近藤, 祐史, 斎藤, 友克, 竹島, 卓 (2000-04)
  数理解析研究所講究録, 1138: 56-63
file type icon
Approximate GCD of Multivariate Polynomials (Theory and Application in Computer Algebra)
  Zhi, LiHong, Noda, Matu-Tarow (2000-04)
  数理解析研究所講究録, 1138: 64-76
file type icon
二変数有理関数近似のハイブリッド計算と多変数近似GCDアルゴリズム (数式処理における理論と応用の研究)
  甲斐, 博, 木原, 信二, 野田, 松太郎 (2000-04)
  数理解析研究所講究録, 1138: 77-86
file type icon
代数的局所コホモロジー類のローラン展開とL. EhrenpreisのNoether作用素 (数式処理における理論と応用の研究)
  田島, 慎一 (2000-04)
  数理解析研究所講究録, 1138: 87-95
file type icon
ホロノミックシステムの多項式解と有理解を求めるアルゴリズム (数式処理における理論と応用の研究)
  高山, 信毅 (2000-04)
  数理解析研究所講究録, 1138: 96-105
file type icon
On Rational Quadratic Bezier Curves (Theory and Application in Computer Algebra)
  Suenaga, Katsuyuki, Sakai, Manabu, Yadohisa, Hiroshi (2000-04)
  数理解析研究所講究録, 1138: 106-115
file type icon
Some applications of computer algebra to vector bundles on projective spaces (Theory and Application in Computer Algebra)
  Ancona, Vincenzo (2000-04)
  数理解析研究所講究録, 1138: 116-126
file type icon
グレブナ基底 : 理論,計算の効率化,応用 (数式処理における理論と応用の研究)
  野呂, 正行 (2000-04)
  数理解析研究所講究録, 1138: 127-171
file type icon
Grobner basisによる分割表の数え上げ (数式処理における理論と応用の研究)
  中川, 重和 (2000-04)
  数理解析研究所講究録, 1138: 172-179
file type icon
戦術に忠実な並列Buchberger算法 (数式処理における理論と応用の研究)
  鈴木, 正幸 (2000-04)
  数理解析研究所講究録, 1138: 180-188
file type icon
OpenXMプロジェクトの現状について (数式処理における理論と応用の研究)
  奥谷, 行央, 小原, 功任, 高山, 信毅, 田村, 恭士, 野呂, 正行, 前川, 将秀 (2000-04)
  数理解析研究所講究録, 1138: 189-200
file type icon
数式処理システムの数学教育への活用とミドルレギュレータの開発 (数式処理における理論と応用の研究)
  出口, 博章, 高橋, 正 (2000-04)
  数理解析研究所講究録, 1138: 201-210
file type icon
制約ベース型初期設計支援システム (数式処理における理論と応用の研究)
  沢田, 浩之 (2000-04)
  数理解析研究所講究録, 1138: 211-219
file type icon
等号公理下での論理式の標準形とその一階言語への応用 (数式処理における理論と応用の研究)
  元吉, 文男, 秋葉, 澄孝, 佐藤, 泰介 (2000-04)
  数理解析研究所講究録, 1138: 220-225
file type icon
有理演算による実対称行列の三重対角化 (数式処理における理論と応用の研究)
  関川, 浩 (2000-04)
  数理解析研究所講究録, 1138: 226-233
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 20 of 23