検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
| 書誌情報 | ファイル |
|---|---|
| 非線形方程式の解法(数式処理と数学研究への応用) 平野, 菅保; 亀井, 光雄; 布広, 永示 (1983-04) 数理解析研究所講究録, 486: 67-84 |  |
| パンルベII型方程式有理関数解を定義する多項式の既約権についての計算機による予想(数式処理と数学研究への応用) 亀高, 惟倫 (1983-04) 数理解析研究所講究録, 486: 94-98 | |
| 連立1階常微分方程式の形式整級数解の近似計算法(数式処理と数学研究への応用) 藤瀬, 哲朗 (1983-04) 数理解析研究所講究録, 486: 49-66 | |
| 数式のグラフィックディスプレイによる出力(数式処理と数学研究への応用) 元吉, 文男 (1983-04) 数理解析研究所講究録, 486: 120-123 | |
| Notes on a Method for Describing Definitions Theorems, Proofs in Mathematics Ishikawa, Shiro; Nagata, Morio (1983-04) 数理解析研究所講究録, 486: 99-119 | |
| DESIGN OF A GENERAL COMPUTER ALGEBRA SYSTEM Sasaki, Tateaki; Watanabe, Shunro; Furukawa, Akio (1983-04) 数理解析研究所講究録, 486: 154-165 | |
| COSMOS: A Conversational Algebraic System Nagata, Morio; Shibayama, Makoto (1983-04) 数理解析研究所講究録, 486: 124-153 | |
| Weierstrass Points on Curves of Fermat Type Kobayashi, Hidetsune (1983-04) 数理解析研究所講究録, 486: 85-93 | |
| BY-PRS AND AN EXTENSION OF SUBRESULTANT THEORY Sasaki, Tateaki; Furukawa, Akio (1983-04) 数理解析研究所講究録, 486: 27-48 | |
| 不定方程式のp進解法とその応用(数式処理と数学研究への応用) 村尾, 裕一; 古川, 昭夫 (1983-04) 数理解析研究所講究録, 486: 11-26 | |