有没有支持离散数学的工具？

Question

离散数学(也包括有限数学)涉及的主题包括逻辑,集合论,信息论,部分有序集,证明,关系和许多其他主题.

对于其他数学分支,有一些工具支持编程.对于统计,R和S内置了许多有用的统计函数.对于数值分析,Octave可以用作语言或集成到C++中.

我不知道任何专门处理离散数学的语言或软件包(尽管几乎每种语言都可用于实现离散数学中使用的算法,但应该有专门为这些应用程序设计的库或环境).

Answer 1

当前版本的Mathematica是7.许可证费用:

1. 家庭版:295美元.
2. 标准:$ 2,495 Win/Mac/Linux PC(Solaris为3,120美元)
3. 政府:1,996美元(Solaris为2,496美元)
4. 教育:1,095美元(Solaris为1,370美元)
5. 学生:139.95美元(无Solaris)

以上,Home Edition链接说:

Mathematica Home Edition是Mathematica Professional的全功能版本,具有相同的功能.

当前版本的Maple是12.许可证费用:

1. 学生:99美元
2. 商业:1,895美元
3. 学术:995美元
4. 政府:1,795美元

是的,请查看由Thomas Owens提到的Sage.