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

Question

Discrete mathematics (also finite mathematics)涉及的主题包括逻辑，集合论，信息论，部分有序集，证明，关系以及其他一些主题。

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

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

Answer 1

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

1. Home Edition：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美元

是的，查看Sage，Thomas Owens上面提到过。

Answer 2

数学

Answer 3

Mathematica有一个Combinatorica软件包，虽然在这一点上非常值得尊敬，但它为组合和图形提供了很多支持。像这样的命令是可用的：     NecklacePolynomial [8，m，Cyclic];     GrayCodeSubsets [{1,2,3,4}];     IntegerPartitions [6]

Answer 4

我认为Mathematica是你最好的选择..即使它没有开箱即用的功能，它也有很好的设计补充包装在网上 看看http://www.wolfram.com/products/mathematica/analysis/
您可能对数论，图表可视化

的链接感兴趣

Answer 5

我还找到了Sage。它似乎是最接近Mathematica的开源软件，但我不确定它如何处理离散数学。

Answer 6

Maple和Matlab将是一些数学软件包，可能涵盖您想要的部分内容。

Answer 7

主要由Donald Knuth编写的

Stanford GraphBase是一个很好的组合计算软件包。我不认为它是一个广泛的代码库，但它对图形有很大的支持，并且可以用图论来制定大量的离散数学。它是用CWEB编写的，它是（IMO）C语言的一个更易读的版本。

编辑：它是免费的。

Answer 8

我喜欢Mathematica，并在我的计算物理博士期间用它来构思想法。然而，Mathematica试图成为所有人的一切，并且有一些缺点：

• 作为一家营利性公司，错误修复有时会出现在下一个主要版本中：您支付。
• 作为专有产品，与非Mathematica人（全世界）共享代码是有问题的。
• 当你试图超越嵌入式示例时，新功能通常是半生不熟的并且会中断。
• 它的用户群（教程，建议，外部库）不像python那样活跃，
• Mulitpanel数字很难产生;见SciDraw图书馆。

话虽如此，Mathematica的核心功能令人惊讶，原因如下：

• 它的默认数学功能非常强大，可以提供快速解决方案。
• 它允许功能和程序编程。
• 一个人可以快速编码＆amp;以各种格式发布：pdf，互动网站。
• 新的Discrete Book问世了。

底线

• 苹果用户希望使用方便，会让Mathematica感受到类似苹果的感觉。
• 想要可扩展性的Linux用户会发现Mathematica对于采用类似Apple的盒式焊接设计感到沮丧。