Skip navigation
ホーム
ブラウズ
研究科等一覧
ブラウズ:
タイトル
著者
発行日
キーワード
分類
資料種別
アクセスランキング
アクセス統計
京都大学
図書館機構
統計
アクセスランキング
アクセス統計
リンク
京都大学
図書館機構
Language
日本語
English
マイ・リポジトリ
購読情報編集
利用者情報編集
Kyoto University Research Information Repository
検索
検索対象:
リポジトリ全体
400 数理解析研究所 = 400_Research Institute for Mathematical Sciences
1.講究録 = RIMS Kokyuroku
1843 Computer Algebra : The Algorithms, Implementations and the Next Generation
検索語
適用済条件:
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索をやり直す
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索結果表示: 1-10 / 19.
前
1
2
次
検索結果:
書誌情報
ファイル
過酷事故に陥った航空機の制御を目指して : 多変数べき級数根の利用 (数式処理 : その研究と目指すもの)
佐々木, 建昭; 稲葉, 大樹 (2013-07)
数理解析研究所講究録, 1843: 8-21
対話型数式ユーザインタフェースMathTOUCHにおける数式表記表現の代数的ルールによる正準化の方法 (数式処理 : その研究と目指すもの)
福井, 哲夫 (2013-07)
数理解析研究所講究録, 1843: 119-130
近似特異系の特異化 : 摂動で乱れた系の矯正 (数式処理 : その研究と目指すもの)
佐々木, 建昭 (2013-07)
数理解析研究所講究録, 1843: 80-93
近似共通因子を持つ多項式の規格化 (数式処理 : その研究と目指すもの)
讃岐, 勝 (2013-07)
数理解析研究所講究録, 1843: 94-100
数独の難易度判定のためのブーリアングレブナー基底の並列計算について (数式処理 : その研究と目指すもの)
佐藤, 裕介; 井上, 秀太郎; 佐藤, 洋祐 (2013-07)
数理解析研究所講究録, 1843: 28-37
Asirでの3変数陰関数描画 (数式処理 : その研究と目指すもの)
近藤, 祐史; 兵頭, 礼子; 村尾, 裕一; 齋藤, 友克 (2013-07)
数理解析研究所講究録, 1843: 140-145
$mu$-constant deformation に対する代数的局所コホモロジーとTjurina stratification (数式処理 : その研究と目指すもの)
鍋島, 克輔; 田島, 慎一 (2013-07)
数理解析研究所講究録, 1843: 56-65
SNAP package and Improved QRGCD algorithm (Computer Algebra : The Algorithms, Implementations and the Next Generation)
増井, 貴明; 長坂, 耕作 (2013-07)
数理解析研究所講究録, 1843: 101-113
表紙・目次
(2013-07)
数理解析研究所講究録, 1843
Geometric Properties of Plane Quartics (Computer Algebra : The Algorithms, Implementations and the Next Generation)
Takahashi, Tadashi (2013-07)
数理解析研究所講究録, 1843: 163-165
絞り込み
著者
2
井上, 秀太郎
2
佐々木, 建昭
2
田島, 慎一
1
Takahashi, Tadashi
1
中山, 洋将
1
佐藤, 洋祐
1
佐藤, 裕介
1
兵頭, 礼子
1
北本, 卓也
1
増井, 貴明
.
次 >
分類
19
410
資料種別
18
Departmental Bulletin Paper
1
Others