Skip navigation
ホーム
ブラウズ
研究科等一覧
ブラウズ:
タイトル
著者
発行日
キーワード
分類
資料種別
アクセスランキング
アクセス統計
京都大学
図書館機構
統計
アクセスランキング
アクセス統計
リンク
京都大学
図書館機構
Language
日本語
English
マイ・リポジトリ
購読情報編集
利用者情報編集
Kyoto University Research Information Repository
検索
検索対象:
リポジトリ全体
400 数理解析研究所 = 400_Research Institute for Mathematical Sciences
1.講究録 = RIMS Kokyuroku
0551 数式処理と数学研究への応用 = Formula Manipulation and Its Applications to Mathematical Study
検索語
適用済条件:
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索をやり直す
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索結果表示: 1-10 / 13.
前
1
2
次
検索結果:
書誌情報
ファイル
INTERNAL REPRESENTATIONS OF FORMULAS IN JAPANESE COMPUTER ALGEBRA SYSTEM GAL(Formula Manipulation and Its Applications to Mathematical Study)
Sasaki, Tateaki; Motoyoshi, Fumio (1985-02)
数理解析研究所講究録, 551: 180-191
統計力学に於けるFeynman図形の自動処理I(数式処理と数学研究への応用)
坂本, 薫; 青江, 俊夫 (1985-02)
数理解析研究所講究録, 551: 173-179
Prologによる小型数式処理システムと数値計算(数式処理と数学研究への応用)
野田, 松太郎; 戒能, 芳弘 (1985-02)
数理解析研究所講究録, 551: 158-172
表紙・目次
(1985-02)
数理解析研究所講究録, 551
高次陽的ルンゲ・クッタ法の解の安定性について(数式処理と数学研究への応用)
田中, 正次; 山下, 茂; 山下, 忠志; 三村, 和正 (1985-02)
数理解析研究所講究録, 551: 87-115
単因子の計算法(数式処理と数学研究への応用)
森継, 修一; 古川, 昭夫; 小林, 英恒; 佐々木, 建昭 (1985-02)
数理解析研究所講究録, 551: 1-14
数式処理技術を活用した中学数学教育支援システム(数式処理と数学研究への応用)
永田, 守男; 西村, 元也; 早川, 肇 (1985-02)
数理解析研究所講究録, 551: 145-157
一般消去法による方程式の解法と実例(数式処理と数学研究への応用)
小林, 英恒; 藤瀬, 哲朗; 古川, 昭夫 (1985-02)
数理解析研究所講究録, 551: 32-43
A Computer-Algebraic Problem on Two-dimensional Linear Recurring Arrays - Cycle Representatives of Two-dimensional Cyclic Codes(Formula Manipulation and Its Applications to Mathematical Study)
SAKATA, Shojiro (1985-02)
数理解析研究所講究録, 551: 44-61
BASICによる代数計算の数式処理用のサブルーチン・パッケージ(数式処理と数学研究への応用)
増田, 真郎 (1985-02)
数理解析研究所講究録, 551: 136-144
絞り込み
著者
2
Sasaki, Tateaki
2
古川, 昭夫
2
小林, 英恒
1
Motoyoshi, Fumio
1
SAKATA, Shojiro
1
三村, 和正
1
佐々木, 建昭
1
坂本, 薫
1
増田, 真郎
1
対馬, 勝英
.
次 >
キーワード
1
computer algebra system
1
internal representation
分類
13
410
資料種別
12
Departmental Bulletin Paper
1
Others