Skip navigation
ホーム
ブラウズ
研究科等一覧
ブラウズ:
タイトル
著者
発行日
キーワード
分類
資料種別
アクセスランキング
アクセス統計
京都大学
図書館機構
統計
アクセスランキング
アクセス統計
リンク
京都大学
図書館機構
Language
日本語
English
マイ・リポジトリ
購読情報編集
利用者情報編集
Kyoto University Research Information Repository
検索
検索対象:
リポジトリ全体
400 数理解析研究所 = 400_Research Institute for Mathematical Sciences
1.講究録 = RIMS Kokyuroku
0729 微分方程式の数式処理システムの研究 = Study of Computer Algebra System of Differential Equation
検索語
適用済条件:
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索をやり直す
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索結果表示: 1-10 / 12.
前
1
2
次
検索結果:
書誌情報
ファイル
An algorithm of constructing the integral of a module : an infinite dimensional analog of Grobner basis(Algebraic Manipulation for Differential Equations)
TAKAYAMA, NOBUKI (1990-10)
数理解析研究所講究録, 729: 15-31
Classification of projectively homogeneous surfaces(Algebraic Manipulation for Differential Equations)
SASAKI, TAKESHI (1990-10)
数理解析研究所講究録, 729: 32-49
$\mathbb{P}^2$の6 linesで分岐するdouble coverからできる2次元多様体の周期(微分方程式の数式処理システムの研究)
松本, 圭司 (1990-10)
数理解析研究所講究録, 729: 50-61
接続係数の数式処理による数値計算(微分方程式の数式処理システムの研究)
大河内, 茂美 (1990-10)
数理解析研究所講究録, 729: 113-121
超幾何型常微分方程式系の2変数化の試み(微分方程式の数式処理システムの研究)
横山, 利章 (1990-10)
数理解析研究所講究録, 729: 92-103
線形常微分方程式の標準形(微分方程式の数式処理システムの研究)
原岡, 喜重 (1990-10)
数理解析研究所講究録, 729: 79-91
Painleve方程式の古典解と既約な解(微分方程式の数式処理システムの研究)
村田, 嘉弘 (1990-10)
数理解析研究所講究録, 729: 62-78
Existence of periodic solutions and Sokes coefficients for ODE(Algebraic Manipulation for Differential Equations)
YOSHINO, Masafumi (1990-10)
数理解析研究所講究録, 729: 104-112
REDUCEでReduceを(II)(微分方程式の数式処理システムの研究)
河野, 實彦 (1990-10)
数理解析研究所講究録, 729: 122-139
Generators, Relations and Groebner basis(Algebraic Manipulation for Differential Equations)
Okubo, Kenjiro (1990-10)
数理解析研究所講究録, 729: 140-161
絞り込み
著者
1
Okubo, Kenjiro
1
SASAKI, TAKESHI
1
TAKAYAMA, NOBUKI
1
UENO, Kazuo
1
YOSHINO, Masafumi
1
原岡, 喜重
1
大河内, 茂美
1
村田, 嘉弘
1
松本, 圭司
1
横山, 利章
.
次 >
発行日
12
1990
分類
12
410