果树问题讨论:这两个问题等价么？

medie2005 · 发表于 2008-10-31 14:11:17

无心人发个问题来耍耍啊。好无聊。

无心人 · 发表于 2008-10-31 15:08:18

你玩玩GiNaC就是个很有意思的事情不过，恐怕不像GMP类好做了

mathe · 发表于 2008-10-31 15:09:31

安装了GiNaC,其中ginsh试用了一下,还算不错. 然后开始读GiNac的文档. 不过看完了挺失望,现在已经实现的功能还是相当简单. 比如符号积分运算只支持多项式,连三角函数都不支持. 而解方程只支持线性方程组.

无心人 · 发表于 2008-10-31 15:14:25

那可不好办了啊白高兴半天

无心人 · 发表于 2008-10-31 15:17:36

mathe · 发表于 2008-10-31 15:56:40

你有时间看一下SACLIB的文档吗?

无心人 · 发表于 2008-10-31 16:28:26

你想知道什么?

无心人 · 发表于 2008-10-31 16:44:24

http://books.google.cn/books?id= ... 10&ct=result#PPT251,M1 国内有一本介绍Standard ML的书 SML是用于符号计算最佳的编程语言吧不过，其基础性虽好，但基本的包就不知道有没有了或者说，一切都要自己做

无心人 · 发表于 2008-10-31 16:47:06

举个例子 SML可以通过集合方式实现整数的基本运算的证明！！

无心人 · 发表于 2008-10-31 16:47:22

还能证明一些基本的逻辑定理

账号		自动登录	找回密码
密码			欢迎注册

[求助] 果树问题讨论:这两个问题等价么？