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