CGS-QEの効率的実装について

摘要

In 1998,Weispfenning introduced a method to quantifier elimination based on comprehensive Gr?bner system (CGS-QE). In 2015, CGS-QE algorithm was improved by the member including the author. In this paper, its efficient implementation is shown.