検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
| 書誌情報 | ファイル |
|---|---|
| 行列計算と基本線形演算の実装法について 兵頭, 礼子; 村尾, 裕一; 齋藤, 友克 (2004-10) 数理解析研究所講究録, 1395: 218-223 |  |
| Risa/Asir Package for Non-commutative Grobner Bases and its Applications (Computer Algebra : Design of Algorithms, Implementations and Applications) 小原, 功任 (2004-10) 数理解析研究所講究録, 1395: 45-49 | |
| 未定パラメータを含む常微分方程式の取り扱いについて : 動力学的設計問題への応用 沢田, 浩之 (2004-10) 数理解析研究所講究録, 1395: 245-251 | |
| パラメーターが指数部に現れる連立代数方程式について 横山, 和弘 (2004-10) 数理解析研究所講究録, 1395: 8-15 | |
| PDA用手書き数式入力インターフェースAsirPadの開発 藤本, 光史 (2004-10) 数理解析研究所講究録, 1395: 132-137 | |
| 多変数多項式の解析的因数分解アルゴリズム 岩見, 真希 (2004-10) 数理解析研究所講究録, 1395: 119-125 | |
| 一変数代数方程式の行列固有値解法について 村上, 弘 (2004-10) 数理解析研究所講究録, 1395: 198-204 | |
| 整定時間のべき級数表現について 北本, 卓也 (2004-10) 数理解析研究所講究録, 1395: 196-197 | |
| 多項式とその導関数の近接根を分離する定理 佐々木, 建昭 (2004-10) 数理解析研究所講究録, 1395: 76-82 | |
| A MATLAB Toolbox for Parametric Robust Control System Design based on symbolic computation (Computer Algebra : Design of Algorithms, Implementations and Applications) 坂部, 啓; 屋並, 仁史; 穴井, 宏和; 原, 辰次 (2004-10) 数理解析研究所講究録, 1395: 231-237 | |