研究者
J-GLOBAL ID:200901054247094734
更新日: 2020年08月28日
鈴木 晃
スズキ アキラ | AKIRA SUZUKI
所属機関・部署:
旧所属 神戸大学 情報管理室
旧所属 神戸大学 情報管理室 について
「旧所属 神戸大学 情報管理室」ですべてを検索
職名:
本務/助教
研究分野 (4件):
応用数学、統計数学
, 数学基礎
, 代数学
, 情報学基礎論
研究キーワード (2件):
計算代数 公理的集合論
, computer algebra set theory
MISC (26件):
Discrete Comprehensive Groebner Bases. Proceedings of ISSAC. 2006. 255-261
A Simple Algorithm to compute Comprehensive Groebner Bases using Groebner Bases. Proceedings of ISSAC. 2006. 326-331
Discrete Comprehensive Groebner Bases. Proceedings of ISSAC. 2006. 255-261
A Simple Algorithm to compute Comprehensive Groebner Bases using Groebner Bases. Proceedings of ISSAC. 2006. 326-331
Nontrivial Elementary embedding with a definable bounding of the universe into itself. 2005
もっと見る
学位 (2件):
修士(理学)(名古屋大学)
博士(理学)(名古屋大学)
所属学会 (2件):
日本数式処理学会
, 日本数学会
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM