コレクションホームページ
0486 数式処理と数学研究への応用
16
0486 数式処理と数学研究への応用
16
(http://hdl.handle.net/2433/101538)
ブラウズ
文献一覧(目次の昇順ソート): 1 - 16 / 16
書誌情報 | ファイル |
---|---|
表紙・目次 (1983-04) 数理解析研究所講究録, 486 | |
「数式処理と数学研究への応用」研究集会 : はしがき(数式処理と数学研究への応用) 一松, 信 (1983-04) 数理解析研究所講究録, 486: 1-3 | |
数式処理によるソリトン方程式の解法(数式処理と数学研究への応用) 広田, 良吾 (1983-04) 数理解析研究所講究録, 486: 4-10 | |
不定方程式のp進解法とその応用(数式処理と数学研究への応用) 村尾, 裕一; 古川, 昭夫 (1983-04) 数理解析研究所講究録, 486: 11-26 | |
BY-PRS AND AN EXTENSION OF SUBRESULTANT THEORY Sasaki, Tateaki; Furukawa, Akio (1983-04) 数理解析研究所講究録, 486: 27-48 | |
連立1階常微分方程式の形式整級数解の近似計算法(数式処理と数学研究への応用) 藤瀬, 哲朗 (1983-04) 数理解析研究所講究録, 486: 49-66 | |
非線形方程式の解法(数式処理と数学研究への応用) 平野, 菅保; 亀井, 光雄; 布広, 永示 (1983-04) 数理解析研究所講究録, 486: 67-84 | |
Weierstrass Points on Curves of Fermat Type Kobayashi, Hidetsune (1983-04) 数理解析研究所講究録, 486: 85-93 | |
パンルベII型方程式有理関数解を定義する多項式の既約権についての計算機による予想(数式処理と数学研究への応用) 亀高, 惟倫 (1983-04) 数理解析研究所講究録, 486: 94-98 | |
Notes on a Method for Describing Definitions Theorems, Proofs in Mathematics Ishikawa, Shiro; Nagata, Morio (1983-04) 数理解析研究所講究録, 486: 99-119 | |
数式のグラフィックディスプレイによる出力(数式処理と数学研究への応用) 元吉, 文男 (1983-04) 数理解析研究所講究録, 486: 120-123 | |
COSMOS: A Conversational Algebraic System Nagata, Morio; Shibayama, Makoto (1983-04) 数理解析研究所講究録, 486: 124-153 | |
DESIGN OF A GENERAL COMPUTER ALGEBRA SYSTEM Sasaki, Tateaki; Watanabe, Shunro; Furukawa, Akio (1983-04) 数理解析研究所講究録, 486: 154-165 | |
ランダムスピン系の統計力学における積分方程式(数式処理と数学研究への応用) 桂, 重俊; 藤木, 澄義; 末永, 敏幸; 松野, 明 (1983-04) 数理解析研究所講究録, 486: 166-175 | |
Phase diagram of a spin glass of Eu$_pSr_{l-p}S$ Katsura, Shigetoshi; Matsuno, Akira (1983-04) 数理解析研究所講究録, 486: 176-194 | |
話題提供 : 数式処理システムをめぐって(数式処理と数学研究への応用) 金田, 康正 (1983-04) 数理解析研究所講究録, 486: 195-211 |
文献一覧(目次の昇順ソート): 1 - 16 / 16