Top > Back > 学会発表 の検索結果 161 件中 91‐120 件目
Comprehensive Gröbner systems in Poincare-Birkhoff-Witt algebra and Bernstein-Sato ideals |
[ 共同発表者名 ] Katsuyoshi Ohara, Katsusuke Nabeshima, Shinichi Tajima |
[ 学会・会議名 ] 京都大学数理解析研究所研究集会,「超局所解析と特異摂動論の新展開」 |
[ 発表日付 ] 2016年10月3日 ~ 10月7日 |
包括的グレブナー基底とパラメータつきb-関数の計算 |
[ 共同発表者名 ] 小原功任, 鍋島克輔, 田島慎一 |
[ 学会・会議名 ] 第10回玉原特殊多様体研究集会 |
[ 発表日付 ] 2016年9月26日 ~ 9月27日 |
パラメータ付きホロノミーD加群とb-関数--μ-constant deformation の場合-- |
[ 共同発表者名 ] 鍋島克輔, 田島慎一 |
[ 学会・会議名 ] 日本数学会秋期総合分科会(函数論) |
[ 発表日付 ] 2016年9月15日 ~ 9月18日 |
局所コホモロジーを用いたμ*列の計算法について |
[ 共同発表者名 ] 鍋島克輔, 田島慎一 |
[ 学会・会議名 ] 日本数学会秋期総合分科会(函数論) |
[ 発表日付 ] 2016年9月15日 ~ 9月18日 |
Computer algebra and Bruce-Roberts Milnor numbers |
[ 共同発表者名 ] 伊澤毅, 鍋島克輔, 田島慎一 |
[ 学会・会議名 ] 京都大学数理解析研究所共同研究,「数式処理の新たな発展 -その最新研究と基礎理論の再構成-」 |
[ 発表日付 ] 2016年9月7日 ~ 9月9日 |
代数的局所コホモロジーを用いた Limiting Tangent Spaceの計算法と比較 |
[ 共同発表者名 ] 鍋島克輔, 田島慎一 |
[ 学会・会議名 ] 京都大学数理解析研究所共同研究,「数式処理の新たな発展 -その最新研究と基礎理論の再構成-」 |
[ 発表日付 ] 2016年9月7日 ~ 9月9日 |
Comprehensive Gröbner systems for Parametric Poincare-Birkhoff-Witt Ideals |
[ 共同発表者名 ] Katsuyoshi Ohara, Katsusuke Nabeshima, Shinichi Tajima |
[ 学会・会議名 ] RIMS workshop, Algebraic Statistics and Symbolic Computation |
[ 発表日付 ] 2016年7月25日 ~ 7月29日 |
パラメトリック局所コホモロジーを用いたμ*の計算 |
[ 共同発表者名 ] 鍋島克輔, 小原功任, 田島慎一 |
[ 学会・会議名 ] 第25回日本数式処理学会大会 |
[ 発表日付 ] 2016年6月10日 ~ 6月12日 |
包括的グレブナー基底とパラメータ付きb-関数の計算 |
[ 共同発表者名 ] 鍋島克輔, 小原功任, 田島慎一 |
[ 学会・会議名 ] Risa/Asir conference 2016 |
[ 発表日付 ] 2016年3月28日 ~ 3月30日 |
Limiting tangent spaces とlocal cohomology |
[ 共同発表者名 ] 田島慎一, 鍋島克輔 |
[ 学会・会議名 ] 日本数学会年会(函数論) |
[ 発表日付 ] 2016年3月16日 ~ 3月19日 |
パラメータ付き対数的ベクトル場とBruce-Roberts ミルナー数の計算 |
[ 共同発表者名 ] 鍋島克輔, 田島慎一 |
[ 学会・会議名 ] 日本数学会年会(函数論) |
[ 発表日付 ] 2016年3月16日 ~ 3月19日 |
変形パラメータ付きホロノミーD-加群の計算法 --parametric Poincare Birkhoff-Witt 代数の利用-- |
[ 共同発表者名 ] 鍋島克輔, 小原功任, 田島慎一 |
[ 学会・会議名 ] 日本数学会年会(函数論) |
[ 発表日付 ] 2016年3月16日 ~ 3月19日 |
孤立特異点に付随する代数的局所コホモロジーの計算 |
[ 共同発表者名 ] 鍋島克輔 |
[ 学会・会議名 ] Encounter with Mathematics |
[ 発表日付 ] 2016年2月20日 ~ 2月21日 |
グレブナー基底を用いた収束べき級数環上での拡張ideal membershipアルゴリズムについ |
[ 共同発表者名 ] 鍋島克輔, 田島慎一 |
[ 学会・会議名 ] 京都大学数理解析研究所共同研究,「数式処理とその周辺分野の研究 -- Computer Algebra and Related Topics」 |
[ 発表日付 ] 2015年12月9日 ~ 12月11日 |
特異点の複素解析と局所コホモロジー |
[ 共同発表者名 ] 田島慎一, 鍋島克輔 |
[ 学会・会議名 ] 第 58 回函数論シンポジウム |
[ 発表日付 ] 2015年10月10日 ~ 10月12日 |
局所コホモロジーを用いたBruce-Roberts ミルナー数の計算法について |
[ 共同発表者名 ] 田島慎一,鍋島克輔 |
[ 学会・会議名 ] 日本数学会総合分科会(函数論) |
[ 発表日付 ] 2015年9月13日 ~ 9月16日 |
超曲面に付随したホロノミーD-加群の計算アルゴリズムについてII |
[ 共同発表者名 ] 鍋島克輔, 田島慎一 |
[ 学会・会議名 ] 日本数学会総合分科会(函数論) |
[ 発表日付 ] 2015年9月13日 ~ 9月16日 |
超曲面に付随したホロノミーD-加群の計算アルゴリズムについて |
[ 共同発表者名 ] 鍋島克輔, 田島慎一 |
[ 学会・会議名 ] 日本数学会総合分科会(函数論) |
[ 発表日付 ] 2015年9月13日 ~ 9月16日 |
Bruce-Roberts ミルナー数の計算アルゴリズム |
[ 共同発表者名 ] 田島慎一, 鍋島克輔 |
[ 学会・会議名 ] 京都大学数理解析研究所共同研究,「数式処理研究の新たな発展」 |
[ 発表日付 ] 2015年8月19日 ~ 8月21日 |
偏微分作用素環での包括的グレブナー基底とホロノミーD-加群, b-関数 |
[ 共同発表者名 ] 鍋島克輔, 田島慎一 |
[ 学会・会議名 ] 京都大学数理解析研究所共同研究,「数式処理研究の新たな発展」 |
[ 発表日付 ] 2015年8月19日 ~ 8月21日 |
Logarithmic vector fields associated with hypersurface isolated singularities and local cohomology |
[ 共同発表者名 ] Katsusuke Nabeshima, Shinichi Tajima |
[ 学会・会議名 ] Singularities in Generic Geometry and its Applications -Kobe-Kyoto 2015 (Valencia IV) |
[ 発表日付 ] 2015年6月8日 ~ 6月12日 |
代数的局所コホモロジーを用いたスタンダード基底の項順序変換についてII |
[ 共同発表者名 ] 鍋島克輔, 田島慎一 |
[ 学会・会議名 ] 第24回日本数式処理学会大会 |
[ 発表日付 ] 2015年6月5日 ~ 6月7日 |
局所環における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日 |