検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果表示: 1-10 / 10.
- 前
- 1
- 次
検索結果:
| 書誌情報 | ファイル |
|---|---|
| 結び目の作図とその簡素化 (数式処理と数学研究への応用) 本間, 龍雄; 森川, 治; 落合, 豊行 (1980-12) 数理解析研究所講究録, 406: 52-70 |  |
| MACSYMAの活用例 : 5段Runge-Kutta型の5次の極限公式の分類等 (数式処理と数学研究への応用) 戸田, 英雄; 小野, 令美 (1980-12) 数理解析研究所講究録, 406: 100-115 | |
| 幾何の定理を計算機に証明させる試み : 呉文俊教授の成果 (数式処理と数学研究への応用) 一松, 信 (1980-12) 数理解析研究所講究録, 406: 93-99 | |
| 2階導関数を使うRunge-Kutta型公式の探索 (数式処理と数学研究への応用) 三井, 斌友 (1980-12) 数理解析研究所講究録, 406: 116-134 | |
| 3次元多様体上の古典場の理論の数式処理 (数式処理と数学研究への応用) 大黒, 茂 (1980-12) 数理解析研究所講究録, 406: 78-92 | |
| 日本で使用できる数式処理システム (数式処理と数学研究への応用) 金田, 康正 (1980-12) 数理解析研究所講究録, 406: 25-46 | |
| Seidenbergの補題と数式処理 (数式処理と数学研究への応用) 渡辺, 隼郎 (1980-12) 数理解析研究所講究録, 406: 71-77 | |
| 数式処理の実例 (数式処理と数学研究への応用) 一松, 信 (1980-12) 数理解析研究所講究録, 406: 47-51 | |
| 数式処理の立場から見た線型代数 : 行列式と逆行列 (数式処理と数学研究への応用) 村尾, 裕一 (1980-12) 数理解析研究所講究録, 406: 13-24 | |
| 数学者にとっての数式処理 (数式処理と数学研究への応用) 佐々木, 建昭 (1980-12) 数理解析研究所講究録, 406: 1-12 | |