maple量词计算包RegularChains

【文件属性】：
文件名称：maple量词计算包RegularChains
文件大小：78.18MB
文件格式：MLA
更新时间：2021-04-22 09:19:08
量词消去 这个包可以直接在maple中调用，比maple中自带的那个包的功能更全，包括可以用于量词消去的QuantifierElimination函数，该函数在RegurlaChain中的SemiAlgebraicSetTools中。