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

Question

离散数学（也是有限数学） 涉及逻辑、集合论、信息论、偏序集、证明、关系和许多其他主题等主题。

对于数学的其他分支，有支持编程的工具。对于统计来说，有 右 和 S 内置了许多有用的统计功能。对于数值分析， 八度 可以作为一种语言使用，也可以集成到 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美元

是的，查看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

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

编辑：它是免费的。

Answer 8

我喜欢 Mathematica，并在我攻读计算物理学博士学位期间用它来原型化想法。然而，Mathematica 试图满足所有人的需求，但也有一些缺点：

• 作为一家营利性公司，错误修复有时会出现在下一个主要版本中：你付钱。
• 作为一种专有产品，与非 Mathematica 人员（全世界）共享代码是有问题的。
• 新功能通常是半生不熟的，当您尝试超越嵌入式示例时就会崩溃。
• 它的用户群（教程、建议、外部库）不如 python 活跃，
• 多面板图形很难生成；看 科学绘图 图书馆。

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

• 它的默认数学功能非常强大，可以快速解决问题。
• 它允许函数式编程和过程式编程。
• 人们可以快速编码并以多种格式发布：pdf，交互式网站。
• 新的离散 书 出来。

底线

• 期待易用性的 Apple 用户会喜欢 Mathematica，因为它具有 Apple 般的上手即用的感觉。
• 想要可扩展性的 Linux 用户会发现 Mathematica 因其类似 Apple 的盒式焊接封闭式设计而令人沮丧。