您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. maple量词计算包RegularChains

  2. 这个包可以直接在maple中调用,比maple中自带的那个包的功能更全,包括可以用于量词消去的QuantifierElimination函数,该函数在RegurlaChain中的SemiAlgebraicSetTools中。
  3. 所属分类:其它

    • 发布日期:2018-04-02
    • 文件大小:81788928
    • 提供者:u010872203