数式処理の歴史と現在

• 野呂 正行

  神戸大学大学院理学研究科

• 横山 和弘

  立教大学理学部

書誌事項

タイトル別名

• Computer algebra, it's history and current state
• 計算機と数学 数式処理の歴史と現在 : グレブナー基底とQEを中心として
• ケイサンキ ト スウガク スウシキ ショリ ノ レキシ ト ゲンザイ : グレブナー キテイ ト QE オ チュウシン ト シテ
• ——グレブナー基底とQEを中心として——
• ——Focusing on Gröbner basis and QE (quantifier elimination)——

収録刊行物

• 数学

  数学 66 (3), 298-309, 2014

  一般社団法人 日本数学会

キーワード

• 計算機代数
• グレブナー基底
• 代数的算法
• 数式処理
• 限定子除去法
• 記号・代数的計算

詳細情報

• CRID: 1390001205065782528
• NII論文ID: 130005689990
• NII書誌ID: AN00125036
• DOI: 10.11429/sugaku.0663298
• ISSN: 18836127
• ISSN: 0039470X
• NDL書誌ID: 025730425
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I025730425
• 本文言語コード: ja
• データソース種別:
  • JaLC
  • NDL
  • CiNii Articles