文件名称：证明不等式的maple软件包bottema
文件大小：302KB
文件格式：COM
更新时间：2012-07-08 05:33:06
软件包
可以证明吧不等式，对一般的不等式给以证明，证明的过程详细，且方便，只需调用软件包即可。
证明不等式的maple软件包bottema
【文件属性】：
网友评论
- 可以用的，很好的软件
- 杨路教授机器证明软件
- 功能很强大
- 很好用，谢谢分享
- 挺好用，可以帮助做研究
- 很好用的软件
- Bottema软件经我在CSDN频道下载使用，有以下几点印象 1.首先就是如果你能安装并运行，效果还是不错的，软件容量不大，能力却不差。 2.这款软件本身不能独立运行，而必须依托Maple的平台。因此最好同时有一个简单的安装说明，我发现至今有人虽下载了，却不知道如何用，我这里愿意把方法告知一下 （1）将下载的Bottema软件文件（文件名为Bottema.com是一个MS-DOS应用程序。）将此文件复制粘贴到C盘中（或任何其他位置中，例如D:Mathsoft\Maple14\Bottema） （2）然后打开 Maple命令窗口，输入 （3）read “C:Bottema.com
- 试了下，还可以用！
- 下载下来试一试，看看Maple证明不等式的效果如何!
- 为什么我下载下来用不了啊
- 我怎么用不了
- 机械化证明的一种方式新尝试，不错。
- 可以使用，不过对于比较复杂的不等式还是无能为力，会堆栈溢出
- com文件似乎不能在Maple里面加载啊？
- 下载下来试一试，谢谢楼主啦，看看Maple证明不等式的效果如何，Maple用起来还是比较不错的