数学研发论坛

 找回密码
 欢迎注册
楼主: 0→∞

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

  [复制链接]
发表于 2008-10-31 14:11:17 | 显示全部楼层
无心人发个问题来耍耍啊。好无聊。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2008-10-31 15:08:18 | 显示全部楼层
你玩玩GiNaC就是个很有意思的事情
不过,恐怕不像GMP类好做了
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2008-10-31 15:09:31 | 显示全部楼层
安装了GiNaC,其中ginsh试用了一下,还算不错.
然后开始读GiNac的文档.
不过看完了挺失望,现在已经实现的功能还是相当简单.
比如符号积分运算只支持多项式,连三角函数都不支持.
而解方程只支持线性方程组.
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2008-10-31 15:14:25 | 显示全部楼层


那可不好办了啊
白高兴半天
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2008-10-31 15:17:36 | 显示全部楼层
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 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 | 显示全部楼层
还能证明一些基本的逻辑定理
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
您需要登录后才可以回帖 登录 | 欢迎注册

本版积分规则

小黑屋|手机版|数学研发网 ( 苏ICP备07505100号 )

GMT+8, 2020-12-4 16:12 , Processed in 0.061714 second(s), 15 queries .

Powered by Discuz! X3.4

© 2001-2017 Comsenz Inc.

快速回复 返回顶部 返回列表