Top   >   Back   >   学会発表 の検索結果 139 件中 121139 件目

イデアルの安定性とパラメトリック・グレブナー基底
[ 共同発表者名 ] 鍋島克輔
[ 学会・会議名 ] 近畿大学数学講演会
[ 発表日付 ] 2010年1月18日
イデアルの安定性とパラメトリック・グレブナー基底の応用
[ 共同発表者名 ] 鍋島克輔
[ 学会・会議名 ] JST CREST「現代社会の産業とグレブナー基底の調和」若手研究集会
[ 発表日付 ] 2010年1月7日 ~ 1月8日
パラメータ付き零次元代数的局所コホモロジーを用いたパラメトリック・スタンダード基底計算について
[ 共同発表者名 ] 鍋島克輔, 中村弥生, 田島慎一
[ 学会・会議名 ] 京都大学数理解析研究所研究集会 「Computer Algebra -Design of Algorithms, Implementations and Applications」
[ 発表日付 ] 2009年11月25日 ~ 11月27日
PGB: A package for computing parametric polynomial systems
[ 共同発表者名 ] 鍋島克輔
[ 学会・会議名 ] 第2回日本数式処理学会システム分科会
[ 発表日付 ] 2009年10月24日 ~ 10月25日
零次元代数的局所コホモロジーを用いた標準基底・グレブナー基底・メンバーシップ問題の実装
[ 共同発表者名 ] 鍋島克輔, 中村弥生, 田島慎一
[ 学会・会議名 ] 第18回日本数式処理学会大会
[ 発表日付 ] 2009年6月5日 ~ 6月7日
双対性を用いた零次元ヤコビイデアルのスタンダード基底の計算法とグレブナー基底の応用に向けて
[ 共同発表者名 ] 鍋島克輔
[ 学会・会議名 ] JST CREST「現代社会の産業とグレブナー基底の調和」workshop
[ 発表日付 ] 2009年5月21日 ~ 5月22日
ブーリアン・グレブナ基底を使った数独の解法
[ 共同発表者名 ] 井上秀太郎, 佐藤洋祐, 鈴木晃, 鍋島克輔
[ 学会・会議名 ] 京都大学数理解析研究所研究集会 「Computer Algebra -Design of Algorithms, Implementations and Applications」
[ 発表日付 ] 2008年11月26日 ~ 11月28日
Boolean Grobner Bases and SUDOKU,
[ 共同発表者名 ] Yosuke Sato, Shutaro Inoue, Akira Suzuki, Katsusuke Nabeshima
[ 学会・会議名 ] International Conference on Applications of Computer Algebra (ACA'08)
[ 発表日付 ] 2008年7月27日 ~ 7月30日
係数ドメインと多項式環とする多項式環の簡約グレブナ基底について
[ 共同発表者名 ] 鍋島克輔
[ 学会・会議名 ] 京都大学数理解析研究所研究集会 「Computer Algebra -Design of Algorithms, Implementations and Applications」
[ 発表日付 ] 2007年11月21日 ~ 11月23日
PGB: A package for computing Parametric Grobner Bases and Related Objects
[ 共同発表者名 ] Katsusuke Nabeshima
[ 学会・会議名 ] Software Exhibits in the International Symposium on Symbolic and Algebraic Computation
[ 発表日付 ] 2007年7月29日 ~ 8月1日
効率的なパラメトリック・グレブナ基底計算のテクニック
[ 共同発表者名 ] 鍋島克輔
[ 学会・会議名 ] 第16回日本数式処理学会大会
[ 発表日付 ] 2007年5月18日 ~ 5月20日
Risa/Asir CGB関連パッケージの整備
[ 共同発表者名 ] 倉田陽介, 鈴木晃、鍋島克輔
[ 学会・会議名 ] 京都大学数理解析研究所研究集会 「数式処理研究の新たな発展」
[ 発表日付 ] 2006年8月20日 ~ 8月22日
Comprehensive Gröbner Bases for modules
[ 共同発表者名 ] Katsusuke Nabeshima
[ 学会・会議名 ] KIAS-RIMS Joint Workshop on Computer Algebra
[ 発表日付 ] 2006年7月27日 ~ 7月29日
Comprehensive Groebner bases for modules
[ 共同発表者名 ] Katsusuke Nabeshima
[ 学会・会議名 ] International Conference on Applications of Computer Algebra
[ 発表日付 ] 2006年6月26日 ~ 6月29日
Reduced Groebner Bases in Polynomial Rings over a Polynomial ring
[ 共同発表者名 ] Katsusuke Nabeshima
[ 学会・会議名 ] The First International Conference on Mathematical Aspects of Computer and Information Science
[ 発表日付 ] 2006年6月24日 ~ 6月26日
A direct products of fields approach to comprehensive Gr\"obner bases over finite fields
[ 共同発表者名 ] Katsusuke Nabeshima
[ 学会・会議名 ] International Conference on Applications of Computer Algebra
[ 発表日付 ] 2005年7月31日 ~ 8月3日
ACGB on varieties
[ 共同発表者名 ] Yosuke Sato, Akira Suzuki, Katsusuke Nabeshima
[ 学会・会議名 ] International Conference on Applications of Computer Algebra
[ 発表日付 ] 2003年7月28日 ~ 7月31日
代数多様体上のACGBについて
[ 共同発表者名 ] 佐藤洋祐, 鈴木晃, 鍋島克輔
[ 学会・会議名 ] 第12回日本数式処理学会大会
[ 発表日付 ] 2003年5月30日 ~ 6月1日
Generalized discrete comprehensive Groebner bases
[ 共同発表者名 ] 鍋島克輔、佐藤洋祐, 鈴木晃
[ 学会・会議名 ] 京都大学数理解析研究所研究集会 「Computer Algebra -Design of Algorithms, Implementations and Applications」
[ 発表日付 ] 2002年12月11日 ~ 12月13日
Previous | 1 | 2 | 3 | 4 | 5 | Next