符号运算

无心人 · 发表于 2008-6-18 15:25:06

通用整数计算可以用Haskell的交互环境来做

这个任何数学软件都比不上的

就是浮点数，如果要求精度
现在还没找到好的

符号计算，免费的就是MAXIMA了

工程计算是SCILAB

mathe · 发表于 2008-6-18 15:28:03

不了解MAXIMA,你前面提供的那个国内的链接有相应的源代码提供吗？我好像没有看到。
其实我觉得对于我来说，最有用软件有两类：
i)提供了高级语言开发接口的库函数，这个对于我们写代码的时候有用（符号计算接口的几乎没有看到过）
ii)提供良好的符号计算界面的，可以帮助我们推导数学公式

gxqcn · 发表于 2008-6-18 15:33:28

经常有人发email给我，希望能开发符号计算系统，
他们的依据是大数计算可以与符号计算挂钩，

可惜我水平太菜，一直没看出它们间的亲密联系，
只感到相同之处是对开发者要求都很高，后者甚至更高。

无心人 · 发表于 2008-6-18 15:33:54

那你在linux上装个看下

带符号计算库的少，很少
要不你基于StandardML作一个吧

C肯定是作起来繁琐的
Lisp估计非高人不可的
你学过否？

无心人 · 发表于 2008-6-18 15:34:49

补充下上面的
如果肯花钱
Maple的符号计算是可以导出库用在自己的程序的

mathe · 发表于 2008-6-18 15:40:09

浏览了下Maxima,怎么感觉同早期的Mathematica挺像

可能还不错

无心人 · 发表于 2008-6-18 15:44:42

那就装下么
反正也不用下载

自动更新哦

无心人 · 发表于 2008-6-18 15:46:16

另外你再把haskell sml/nj两个语言装上

不知道你的linux是否debian系的？

mathe · 发表于 2008-6-18 15:47:59

我还是先安装Windows版本的。haskell sml/nj都没有考虑过，新的语言尽量还是不要去接触了

无心人 · 发表于 2008-6-18 15:57:41

windows下的相关东西不好找
另外，
国内有本书专讲Standard ML
后面有很大篇幅介绍计算机推理系统

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

[求助] 符号运算