maple量词计算包RegularChains
这个包可以直接在maple中调用,比maple中自带的那个包的功能更全,包括可以用于量词消去的QuantifierElimination函数,该函数在RegurlaChain中的SemiAlgebraicSetTools中。
用户评论
推荐下载
-
maple软件画图基础
电子书,简单的介绍maple软件如何调试、基本功能界面等
33 2019-03-13 -
Maple入门教程
Maple是功能强大的数学软件,用途很多,这个是入门教程
23 2019-03-06 -
maple使用教程PDF
maple是一款很好用的统计分析工具,本教程分章节介绍maple与其用于高等数学、线性代数和程序设计的知识,欢迎下载
62 2018-12-09 -
Maple基础应用教程
Maple的应用,对于公式推导和计算很有帮助。
30 2018-12-09 -
maple14破解
请将license.dat复制到安装目录下的license文件夹里边。同时将maple.dll复制到bin.win文件夹下覆盖原来的同名的文件。
20 2019-05-22 -
maple14manual
maple14的教程数学软件符号运算最新版本详细的教程
52 2019-05-22 -
Maple经典学习教程
本教程分为六个章节,分别详细地介绍了maple的各种使用用途:Maple基础、微积分运算、线性代数、方程求解、图形制作、程序设计。
31 2019-05-22 -
Maple15注册
Maple15.00===========Licenselicense.dat-->C:\ProgramFiles\Maple15\license32-bitmaple.dll-->C:\Progra
46 2019-05-22 -
Maple中文使用教程
Maple中文使用教程,初级阶段入门使用。很全,很xiang
35 2019-05-14 -
掌握和精通Maple
Maple是三大数学分析软件(3M,MATLAB,Mathematics和Maple)之一,国内MATLAB的教程很多,但关于Maple的中文教程却很少。
16 2019-06-05
暂无评论