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