论坛 › 难题征解 › 果树问题讨论:这两个问题等价么？

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

http://zhidao.baidu.com/question/33839893.html?fr=qrl

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=R-Vm5Q8_reUC&pg=PT15&lpg=PT15&dq=SACLIB&source=web&ots=FgLRJzg9Q_&sig=FLtzXK6zlJSyQ1M5g7WW_kAoSM8&hl=zh-CN&sa=X&oi=book_result&resnum=10&ct=result#PPT251,M1

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

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

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

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

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

查看完整版本: 果树问题讨论:这两个问题等价么？