Computer algebra, it's history and current state

DOI Web Site

Bibliographic Information

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

Search this article

Journal

  • SUGAKU

    SUGAKU 66 (3), 298-309, 2014

    The Mathematical Society of Japan

Keywords

Details 詳細情報について

Report a problem

Back to top