Skip navigation
ホーム
ブラウズ
研究科等一覧
ブラウズ:
タイトル
著者
発行日
キーワード
分類
資料種別
アクセスランキング
アクセス統計
京都大学
図書館機構
統計
アクセスランキング
アクセス統計
リンク
京都大学
図書館機構
Language
日本語
English
マイ・リポジトリ
購読情報編集
利用者情報編集
Kyoto University Research Information Repository
検索
検索対象:
リポジトリ全体
400 数理解析研究所 = 400_Research Institute for Mathematical Sciences
1.講究録 = RIMS Kokyuroku
2138 Computer Algebra --Theory and its Applications
検索語
適用済条件:
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索をやり直す
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索結果表示: 1-10 / 24.
前
1
2
3
次
検索結果:
書誌情報
ファイル
多変数多項式に対するNewton polytope (Computer Algebra --Theory and its Applications)
讃岐, 勝; 稲葉, 大樹; 佐々木, 建昭 (2019-12)
数理解析研究所講究録, 2138: 39-44
三角形である準素成分を持つ辞書式順序グレブナー基底について (Computer Algebra --Theory and its Applications)
DAHAN, XAVIER (2019-12)
数理解析研究所講究録, 2138: 30-33
プログラミング言語Egisonで計算する微分幾何 (Computer Algebra --Theory and its Applications)
江木, 聡志 (2019-12)
数理解析研究所講究録, 2138: 1-11
二重イデアル商を用いた新しい準素分解のアルゴリズム (Computer Algebra --Theory and its Applications)
石原, 侑樹 (2019-12)
数理解析研究所講究録, 2138: 34-38
次数指定型/update可能な高速1変数近似GCD計算 (Computer Algebra --Theory and its Applications)
讃岐, 勝 (2019-12)
数理解析研究所講究録, 2138: 45-50
Formula Simplification for Real Quantifier Elimination Using Geometric Invariance (Computer Algebra --Theory and its Applications)
岩根, 秀直; 穴井, 宏和 (2019-12)
数理解析研究所講究録, 2138: 21-29
Gröbner basis computation in Risa/Asir (Computer Algebra --Theory and its Applications)
野呂, 正行 (2019-12)
数理解析研究所講究録, 2138: 12-20
拡張Hensel構成の効率化 - 疎な多変数多項式の因数分解を念頭に - (Computer Algebra --Theory and its Applications)
佐々木, 建昭; 讃岐, 勝; 稲葉, 大樹 (2019-12)
数理解析研究所講究録, 2138: 87-95
近似GCDの枠組みでの近似無平方分解 (Computer Algebra --Theory and its Applications)
長坂, 耕作 (2019-12)
数理解析研究所講究録, 2138: 96-100
学習モデルにおける補題の証明 (Computer Algebra --Theory and its Applications)
鷲野, 朋広; 高橋, 正 (2019-12)
数理解析研究所講究録, 2138: 110-118
絞り込み
著者
3
讃岐, 勝
2
Palezzato, Elisa
2
Torielli, Michele
2
佐々木, 建昭
2
田島, 慎一
2
稲葉, 大樹
2
関川, 浩
1
Bigatti, Anna Maria
1
DAHAN, XAVIER
1
Fujimura, Masayo
.
次 >
発行日
24
2019
分類
24
410