Collection home page

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

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 20 of 24
BibliographyContents
表紙・目次
   (2001-04)
  数理解析研究所講究録, 1199
file type icon
Wu's methodの浮動小数化 (数式処理における理論と応用の研究)
  野竹, 禎雄, 甲斐, 博, 支, 麗紅, 野田, 松太郎 (2001-04)
  数理解析研究所講究録, 1199: 1-9
file type icon
Wuの方法の並列化における負荷分散について (数式処理における理論と応用の研究)
  白石, 啓一, 那須, 英正, 甲斐, 博, 野田, 松太郎 (2001-04)
  数理解析研究所講究録, 1199: 10-19
file type icon
自動安定化システムを用いた画像処理について (数式処理における理論と応用の研究)
  水口, 寛之, 甲斐, 博, 野田, 松太郎 (2001-04)
  数理解析研究所講究録, 1199: 20-21
file type icon
数式処理システムの教育現場での利用I : 教材配付サーバの構築と教育実践報告 (数式処理における理論と応用の研究)
  佐伯, 昭洋, 高橋, 正 (2001-04)
  数理解析研究所講究録, 1199: 22-35
file type icon
二変数ハイブリッド有理関数近似の誤差評価 (数式処理における理論と応用の研究)
  甲斐, 博, 野田, 松太郎 (2001-04)
  数理解析研究所講究録, 1199: 36-42
file type icon
Risa/AsirにおけるWeyl Algebra上のグレブナ基底計算およびその応用 (数式処理における理論と応用の研究)
  野呂, 正行 (2001-04)
  数理解析研究所講究録, 1199: 43-50
file type icon
偏微分作用素を用いた多変数留数計算アルゴリズムと中国剰余定理 (数式処理における理論と応用の研究)
  田島, 慎一 (2001-04)
  数理解析研究所講究録, 1199: 51-69
file type icon
代数的局所コホモロジー類の満たすホロノミック系の構成法について (数式処理における理論と応用の研究)
  中村, 弥生, 田島, 慎一 (2001-04)
  数理解析研究所講究録, 1199: 70-89
file type icon
$D$-加群における$(u,v)$-極小自由分解とその応用 (数式処理における理論と応用の研究)
  大阿久, 俊則, 高山, 信毅 (2001-04)
  数理解析研究所講究録, 1199: 90-99
file type icon
Reach Set Computations Using Real Quantifier Elimination (Theory and Application in Computer Algebra)
  Anai, Hirokazu, Weispfenning, Volker (2001-04)
  数理解析研究所講究録, 1199: 100-113
file type icon
Deciding Linear-Trigonometric Problems (Theory and Application in Computer Algebra)
  Anai, Hirokazu, Weispfenning, Volker (2001-04)
  数理解析研究所講究録, 1199: 114-126
file type icon
Parametrization by fixed-points multipliers of the polynomials with degree $n$ (Theory and Application in Computer Algebra)
  Nishizawa, Kiyoko (2001-04)
  数理解析研究所講究録, 1199: 127-131
file type icon
微小低次項を持つ代数方程式の根の大きさについて (数式処理における理論と応用の研究)
  佐々木, 建昭, 照井, 章 (2001-04)
  数理解析研究所講究録, 1199: 132-136
file type icon
多変数多項式のベキ級数根の桁落ち誤差 その2 (数式処理における理論と応用の研究)
  佐々木, 建昭, 加古, 富士雄 (2001-04)
  数理解析研究所講究録, 1199: 137-148
file type icon
連立多項式の近似根の計算法について (数式処理における理論と応用の研究)
  北本, 卓也 (2001-04)
  数理解析研究所講究録, 1199: 149-159
file type icon
Binary Splitting Algorithmによる高精度計算 (数式処理における理論と応用の研究)
  平山, 弘 (2001-04)
  数理解析研究所講究録, 1199: 160-166
file type icon
REDUCEによる非線型差分方程式の保存密度の計算 (数式処理における理論と応用の研究)
  高, 敏, 加藤, 泰幸, 伊藤, 雅明 (2001-04)
  数理解析研究所講究録, 1199: 167-172
file type icon
Puiseux展開プログラムの作成 (数式処理における理論と応用の研究)
  元吉, 文男 (2001-04)
  数理解析研究所講究録, 1199: 173-178
file type icon
OpenXM 1.1.3の概要 (数式処理における理論と応用の研究)
  小原, 功任, 高山, 信毅, 田村, 恭士, 野呂, 正行, 前川, 将秀 (2001-04)
  数理解析研究所講究録, 1199: 179-191
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 20 of 24