Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-10 / 12.

前
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: 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
数式処理システムにおける知的対話環境の改善(数式処理と数学研究への応用) 対馬, 勝英 (1985-02) 数理解析研究所講究録, 551: 116-135