Skip navigation
ホーム
ブラウズ
研究科等一覧
ブラウズ:
タイトル
著者
発行日
キーワード
分類
資料種別
アクセスランキング
アクセス統計
京都大学
図書館機構
統計
アクセスランキング
アクセス統計
リンク
京都大学
図書館機構
Language
日本語
English
マイ・リポジトリ
購読情報編集
利用者情報編集
Kyoto University Research Information Repository
検索
検索対象:
リポジトリ全体
400 数理解析研究所 = 400_Research Institute for Mathematical Sciences
1.講究録 = RIMS Kokyuroku
1976 数式処理研究の新たな発展 = 1976 Developments in Computer Algebra Research
検索語
適用済条件:
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索をやり直す
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索結果表示: 1-10 / 13.
前
1
2
次
検索結果:
書誌情報
ファイル
Asirでの3変数陰関数描画について (数式処理研究の新たな発展)
近藤, 祐史; 大墨, 礼子; 村尾, 裕一; 齋藤, 友克 (2015-12)
数理解析研究所講究録, 1976: 17-26
実閉体上の非冠頭標準形論理式に対する限量記号消去における部分論理式の処理順序と計算効率 (数式処理研究の新たな発展)
小林, 宗広; 岩根, 秀直 (2015-12)
数理解析研究所講究録, 1976: 31-44
Bruce-Robertsミルナー数の計算アルゴリズム (数式処理研究の新たな発展)
田島, 慎一; 鍋島, 克輔 (2015-12)
数理解析研究所講究録, 1976: 91-99
実数領域における包括的グレブナー基底系と限量子消去 (数式処理研究の新たな発展)
深作, 亮也 (2015-12)
数理解析研究所講究録, 1976: 27-30
初等幾何学の階層付けと自動定理証明 (数式処理研究の新たな発展)
佐藤, 洋祐 (2015-12)
数理解析研究所講究録, 1976: 52-61
Circumscribed and inscribed ellipses induced by Blaschke products of degree 3 (Developments in Computer Algebra Research)
藤村, 雅代 (2015-12)
数理解析研究所講究録, 1976: 71-80
偏微分作用素環での包括的グレブナー基底系とホロノミー$D$-加群, $b$-関数 (数式処理研究の新たな発展)
鍋島, 克輔; 田島, 慎一 (2015-12)
数理解析研究所講究録, 1976: 100-116
行列Horner法の並列化による行列の固有ベクトル計算の効率化について (数式処理研究の新たな発展)
田島, 慎一; 小原, 功任; 照井, 章 (2015-12)
数理解析研究所講究録, 1976: 81-90
多変数Pade近似とその制御系設計への応用 (数式処理研究の新たな発展)
北本, 卓也 (2015-12)
数理解析研究所講究録, 1976: 62-70
近似GCDにおける逐次的なQR分解法とその実装について (数式処理研究の新たな発展)
長坂, 耕作 (2015-12)
数理解析研究所講究録, 1976: 1-7
絞り込み
著者
3
田島, 慎一
2
岩根, 秀直
2
鍋島, 克輔
1
佐藤, 洋祐
1
北本, 卓也
1
大墨, 礼子
1
小原, 功任
1
小林, 宗広
1
村尾, 裕一
1
沼畑, 大
.
次 >
発行日
13
2015
資料種別
12
Departmental Bulletin Paper
1
Others