Top > Back > 学会発表 の検索結果 139 件中 91‐120 件目
局所環におけるExtended Ideal Membershipアルゴリズムについて |
[ 共同発表者名 ] 鍋島克輔, 田島慎一 |
[ 学会・会議名 ] 2015年度日本数学会年会(函数論) |
[ 発表日付 ] 2015年3月21日 ~ 3月24日 |
収束冪級数環における integral dependence relation と局所コホモロジー |
[ 共同発表者名 ] 田島慎一, 鍋島克輔 |
[ 学会・会議名 ] 2015年度日本数学会年会(函数論) |
[ 発表日付 ] 2015年3月21日 ~ 3月24日 |
Applications of Comprehensive Gröbner Bases |
[ 共同発表者名 ] Katsusuke Nabeshima |
[ 学会・会議名 ] RISC/Linz and Kobe University joint computer algebra seminar |
[ 発表日付 ] 2015年3月8日 ~ 3月9日 |
Comprehensive Gröbner bases in rings of differential operators and their applications |
[ 共同発表者名 ] Katsusuke Nabeshima |
[ 学会・会議名 ] Theoretical and Computational Aspects of Algebraic Analysis |
[ 発表日付 ] 2015年3月6日 ~ 3月7日 |
初等幾何の定理自動発見と包括的グレブナー基底-具体例を通して- |
[ 共同発表者名 ] 杉原彩, 鍋島克輔 |
[ 学会・会議名 ] 日本数式処理学会合同分科会 |
[ 発表日付 ] 2015年1月30日 ~ 1月31日 |
包括的グレブナー基底について |
[ 共同発表者名 ] 鍋島克輔 |
[ 学会・会議名 ] 日本数式処理学会合同分科会 |
[ 発表日付 ] 2015年1月30日 ~ 1月31日 |
代数的局所コホモロジーを用いたパラメータ付き拡張ideal membership 判定アルゴリズム |
[ 共同発表者名 ] 鍋島克輔, 田島慎一 |
[ 学会・会議名 ] 京都大学数理解析研究所研究集会「数式処理とその周辺分野の研究」 |
[ 発表日付 ] 2014年12月24日 ~ 12月26日 |
パラメータ付き対数的ベクトル場と局所コホモロジーについて |
[ 共同発表者名 ] 鍋島克輔, 田島慎一 |
[ 学会・会議名 ] 京都大学数理解析研究所共同研究,「数式処理研究の新たな発展」 |
[ 発表日付 ] 2014年8月20日 ~ 8月22日 |
代数的局所コホモロジーを用いたスタンダード基底の項順序変換について |
[ 共同発表者名 ] 鍋島克輔, 田島慎一 |
[ 学会・会議名 ] 第23回日本数式処理学会 |
[ 発表日付 ] 2014年5月30日 ~ 6月1日 |
パラメータ付き局所コホモロジーを利用した対数的ベクトル場の計算について |
[ 共同発表者名 ] 鍋島克輔, 田島慎一 |
[ 学会・会議名 ] 2014年度日本数学会年会(函数論) |
[ 発表日付 ] 2014年3月15日 ~ 3月18日 |
ブーリアン・グレブナー基底を用いたグラフ3採色問題へのアプローチについて |
[ 共同発表者名 ] 鍋島克輔, 杉原彩 |
[ 学会・会議名 ] 京都大学数理解析研究所研究集会 「Computer Algebra-Design of Algorithm, Implementations and the Next Generation」 |
[ 発表日付 ] 2013年12月12日 ~ 12月14日 |
パラメータ付き局所コホモロジーを用いたTjurina stratification の計算 |
[ 共同発表者名 ] 鍋島克輔, 田島慎一 |
[ 学会・会議名 ] 日本数学会総合分科会 函数論, 愛媛大学 |
[ 発表日付 ] 2013年9月24日 ~ 9月27日 |
On the computation of Tjurina stratifications using algebraic local cohomology classes associated with semi-quasihomogeneous singularities |
[ 共同発表者名 ] Katsusuke Nabeshima, Shinichi Tajima |
[ 学会・会議名 ] The Asian Mathematical Conference 2013 |
[ 発表日付 ] 2013年6月30日 ~ 7月4日 |
グレブナー基底はどの程度のパズルを解くことができるのか? |
[ 共同発表者名 ] 杉原彩, 鍋島克輔 |
[ 学会・会議名 ] 防衛大学校 |
[ 発表日付 ] 2013年6月6日 ~ 6月8日 |
μ-constant deformation 代数的局所コホモロジーを用いた Tjurina 数のパラメータ依存性の解析 |
[ 共同発表者名 ] 鍋島克輔, 田島慎一 |
[ 学会・会議名 ] 日本数学会 中国・四国支部例会 |
[ 発表日付 ] 2013年1月5日 |
μ-constant deformation に対する代数的局所コホモロジーとTjurina stratification |
[ 共同発表者名 ] 鍋島克輔, 田島慎一 |
[ 学会・会議名 ] 京都大学数理解析研究所研究集会 「Computer Algebra-Design of Algorithm, Implementations and the Next Generation」 |
[ 発表日付 ] 2012年12月19日 ~ 12月21日 |
Algebraic Local Cohomology Classes Associated with Semi-quasihomogeneous Singularities |
[ 共同発表者名 ] Katsusuke Nabeshima, Shinichi Tajima |
[ 学会・会議名 ] The Asian Symposium on Computer Mathematics 2012 |
[ 発表日付 ] 2012年10月22日 ~ 10月26日 |
CGSとminimal CGSの計算について |
[ 共同発表者名 ] 鍋島克輔 |
[ 学会・会議名 ] 第4回日本数式処理学会理論分科会&システム分科会合同研究会 |
[ 発表日付 ] 2012年1月20日 ~ 1月21日 |
パラメータ付き代数的局所コホモロジーの計算について--半擬斉次の場合-- |
[ 共同発表者名 ] 鍋島克輔, 田島慎一 |
[ 学会・会議名 ] 京都大学数理解析研究所研究集会 「Computer Algebra-Design of Algorithm, Implementations and the Next Generation」 |
[ 発表日付 ] 2011年12月7日 ~ 12月9日 |
半擬斉次孤立特異点に付随する代数的局所コホモロジーについて |
[ 共同発表者名 ] 鍋島克輔, 田島慎一 |
[ 学会・会議名 ] 日本数学会秋季総合分科会(函数論) |
[ 発表日付 ] 2011年9月28日 ~ 10月1日 |
Semi-quasihomogeneous isolated sungularityに付随する代数的局所コホモロジーについて |
[ 共同発表者名 ] 鍋島克輔, 田島慎一 |
[ 学会・会議名 ] 第20回日本数式処理学会 |
[ 発表日付 ] 2011年9月15日 ~ 9月17日 |
On the computation for algebraic local cohomogies associated with semi-quasihomogeneous singularities |
[ 共同発表者名 ] Katsusuke Nabeshima, Shinichi Tajima |
[ 学会・会議名 ] The 6th Franco-Japan Symposium on Singularities |
[ 発表日付 ] 2011年9月5日 ~ 9月9日 |
イデアルはいつ安定か? |
[ 共同発表者名 ] 鍋島克輔 |
[ 学会・会議名 ] JST CREST 「現代社会の産業とグレブナ-基底の調和」 若手研究集会 |
[ 発表日付 ] 2011年2月8日 ~ 2月9日 |
CGS計算アルゴリズムのさらなる改良 |
[ 共同発表者名 ] 鍋島克輔 |
[ 学会・会議名 ] 京都大学数理解析研究所研究集会 「Computer Algebra -Design of Algorithms, Implementations and Applications」 |
[ 発表日付 ] 2010年12月8日 ~ 12月10日 |
On an Implementation of Standard Bases and Gröbner Bases Using Algebraic Local Cohomology |
[ 共同発表者名 ] Katsusuke Nabeshima, Yayoi Nakamura, Shinichi Tajima |
[ 学会・会議名 ] 京都大学数理解析研究所研究集会 「実閉体上の幾何と特異点論への応用」 |
[ 発表日付 ] 2010年12月7日 ~ 12月10日 |
ブーリアン・グレブナー基底 |
[ 共同発表者名 ] 鍋島克輔 |
[ 学会・会議名 ] JST CREST 「現代社会の産業とグレブナ-基底の調和」 若手研究集会 |
[ 発表日付 ] 2010年9月22日 ~ 9月24日 |
Using Algebraic Local Cohomology with Parameters |
[ 共同発表者名 ] Katsusuke Nabeshima, Yayoi Nakamura, Shinichi Tajima |
[ 学会・会議名 ] International Conference on Applications of Computer Algebra (ACA'10) |
[ 発表日付 ] 2010年6月24日 ~ 6月27日 |
Derivation of resonant conditions with CGS |
[ 共同発表者名 ] Hiroshi Yoshida, Katsusuke Nabeshima, |
[ 学会・会議名 ] International Conference on Applications of Computer Algebra (ACA'10) |
[ 発表日付 ] 2010年6月24日 ~ 6月27日 |
CGSを用いた共振条件導出 |
[ 共同発表者名 ] 鍋島克輔, 吉田寛 |
[ 学会・会議名 ] 第19回日本数式処理学会大会 |
[ 発表日付 ] 2010年6月4日 ~ 6月6日 |
代数的局所コホモロジーを利用したパラメータ付きスタンダード基底計算について |
[ 共同発表者名 ] 鍋島克輔, 中村弥生, 田島慎一 |
[ 学会・会議名 ] 2010年日本数学会年会(函数論) |
[ 発表日付 ] 2010年3月15日 ~ 3月19日 |