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以外
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索をやり直す
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索結果表示: 1-10 / 18.
前
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
Geometric Properties of Plane Quartics (Computer Algebra : The Algorithms, Implementations and the Next Generation)
Takahashi, Tadashi (2013-07)
数理解析研究所講究録, 1843: 163-165
Sign Definite Condition 専用 Quantifier Elimination における論理式の簡単化 (数式処理 : その研究と目指すもの)
岩根, 秀直; 樋口, 博之; 穴井, 宏和 (2013-07)
数理解析研究所講究録, 1843: 66-79
絞り込み
著者
2
井上, 秀太郎
2
佐々木, 建昭
2
田島, 慎一
1
Takahashi, Tadashi
1
中山, 洋将
1
佐藤, 洋祐
1
佐藤, 裕介
1
兵頭, 礼子
1
北本, 卓也
1
増井, 貴明
.
次 >