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

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= ... mp;ct=result#PPT251,M1

国内有一本介绍Standard ML的书
SML是用于符号计算最佳的编程语言吧
不过，其基础性虽好，但基本的包就不知道有没有了
或者说，一切都要自己做

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

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

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

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

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

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