検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
| 書誌情報 | ファイル |
|---|---|
| 正則格子による多重積分(数値計算の基本アルゴリズムの研究) 一松, 信 (1985-02) 数理解析研究所講究録, 553: 159-165 |  |
| 球の充填問題について(数値解析の基礎理論とその周辺) 一松, 信 (1988-12) 数理解析研究所講究録, 676: 1-4 | |
| 数式処理 : その過去・現在・未来(群と微分方程式の数式処理システムの研究) 一松, 信 (1988-07) 数理解析研究所講究録, 663: 1-2 | |
| 浜田方式の数表現に対する誤差解析試論(自己検証的算法とその応用) 一松, 信 (1988-11) 数理解析研究所講究録, 673: 135-138 | |
| 「数式処理と数学研究への応用」研究集会 : はしがき(数式処理と数学研究への応用) 一松, 信 (1983-04) 数理解析研究所講究録, 486: 1-3 | |
| 幾何の定理を計算機に証明させる試み : 呉文俊教授の成果 (数式処理と数学研究への応用) 一松, 信 (1980-12) 数理解析研究所講究録, 406: 93-99 | |
| 数式処理の実例 (数式処理と数学研究への応用) 一松, 信 (1980-12) 数理解析研究所講究録, 406: 47-51 | |
| 京都大学数理解析研究所図書室とデータベースRIMS PICMSについて (数学分野の情報検索 : 現状と方策) 中司, 里美; 一松, 信 (1981-06) 数理解析研究所講究録, 433: 41-63 | |
| 数学分野の情報検索について (数学分野の情報検索 : 現状と方策) 一松, 信 (1981-06) 数理解析研究所講究録, 433: 20-31 | |
| 多項式の因数分解について(数式処理と数学研究への応用) 一松, 信 (1984-04) 数理解析研究所講究録, 520: 47-57 | |