Collection home page

Formula Manipulation and Its Applications for Mathematical Studies   11
(http://hdl.handle.net/2433/101326)

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