maple量词计算包RegularChains

【文件属性】：

文件名称：maple量词计算包RegularChains

文件大小：78.18MB

文件格式：MLA

更新时间：2021-04-22 09:19:08

量词消去

这个包可以直接在maple中调用，比maple中自带的那个包的功能更全，包括可以用于量词消去的QuantifierElimination函数，该函数在RegurlaChain中的SemiAlgebraicSetTools中。