blocks|key|233058|text|当前版本的数学为7。许可证费用：|type|unstyled|depth|inlineStyleRanges|entityRanges|offset|length|data|233059|Home+Edition：295美元。|ordered-list-item|233060|标准:2,495美元Win/Mac/Linux+PC+(Solaris为3,120美元)|233061|政府:1,996美元(Solaris+2,496美元)|233062|教育:1+095美元(Solaris+1+370美元)|233063|学生:139.95美元(无Solaris)|233064|上面的主页链接是这样写的：|233065|Mathematica是一个功能齐全的版本，具有相同的功能。|233066|当前版本的Maple为12。许可证费用：|233067|学生:99美元|233068|商业:1,895美元|233069|学术:995美元|233070|政府:1+795美元|233071|是的，看看上面托马斯·欧文斯提到的Sage。|233072|entityMap|0|LINK|mutability|MUTABLE|url|http://www.wolfram.com/products/mathematica/index.html|1|http://wolfram.com/products/mathematicahomeedition/qa.html|2|http://www.maplesoft.com/^0|5|2|0|0|0|C|1|0|0|0|0|0|0|0|5|5|2|0|0|0|0|0|0^^$0|@$1|2|3|4|5|6|7|1G|8|@]|9|@$A|1H|B|1I|1|1J]]|C|$]]|$1|D|3|E|5|F|7|1K|8|@]|9|@$A|1L|B|1M|1|1N]]|C|$]]|$1|G|3|H|5|F|7|1O|8|@]|9|@]|C|$]]|$1|I|3|J|5|F|7|1P|8|@]|9|@]|C|$]]|$1|K|3|L|5|F|7|1Q|8|@]|9|@]|C|$]]|$1|M|3|N|5|F|7|1R|8|@]|9|@]|C|$]]|$1|O|3|P|5|6|7|1S|8|@]|9|@]|C|$]]|$1|Q|3|R|5|6|7|1T|8|@]|9|@]|C|$]]|$1|S|3|T|5|6|7|1U|8|@]|9|@$A|1V|B|1W|1|1X]]|C|$]]|$1|U|3|V|5|F|7|1Y|8|@]|9|@]|C|$]]|$1|W|3|X|5|F|7|1Z|8|@]|9|@]|C|$]]|$1|Y|3|Z|5|F|7|20|8|@]|9|@]|C|$]]|$1|10|3|11|5|F|7|21|8|@]|9|@]|C|$]]|$1|12|3|13|5|6|7|22|8|@]|9|@]|C|$]]|$1|14|3|-4|5|6|7|23|8|@]|9|@]|C|$]]]|15|$16|$5|17|18|19|C|$1A|1B]]|1C|$5|17|18|19|C|$1A|1D]]|1E|$5|17|18|19|C|$1A|1F]]]]

The current version of <a href="http://www.wolfram.com/products/mathematica/index.html" rel="noreferrer">Mathematica</a> is 7. License costs:

<ol>
<li><a href="http://wolfram.com/products/mathematicahomeedition/qa.html" rel="noreferrer">Home Edition</a>: $295.</li>
<li>Standard: $2,495 Win/Mac/Linux PC ($3,120 for Solaris)</li>
<li>Government: $1,996 ($2,496 for Solaris)</li>
<li>Educational: $1,095 ($1,370 for Solaris)</li>
<li>Student: $139.95 (no Solaris)</li>
</ol>

Above, the Home Edition link says:

Mathematica Home Edition is a fully functional version of Mathematica Professional with the same features.

The current version of <a href="http://www.maplesoft.com/" rel="noreferrer">Maple</a> is 12. License costs:

<ol>
<li>Student: $99</li>
<li>Commercial: $1,895</li>
<li>Academic: $995</li>
<li>Government: $1,795</li>
</ol>

And yes, check out Sage, mentioned above by Thomas Owens.

blocks|key|232770|text|数学|type|unstyled|depth|inlineStyleRanges|entityRanges|data|232771|entityMap^0|0^^$0|@$1|2|3|4|5|6|7|D|8|@]|9|@]|A|$]]|$1|B|3|-4|5|6|7|E|8|@]|9|@]|A|$]]]|C|$]]

blocks|key|1232665|text|Mathematica有一个Combinatorica包，虽然在这一点上很受尊敬，但它为组合学和图形提供了大量的支持。这样的命令是可用的:+NecklacePolynomial8，m，循环；GrayCodeSubsets{1，2，3，4}；IntegerPartitions6|type|unstyled|depth|inlineStyleRanges|entityRanges|data|1232666|entityMap^0|0^^$0|@$1|2|3|4|5|6|7|D|8|@]|9|@]|A|$]]|$1|B|3|-4|5|6|7|E|8|@]|9|@]|A|$]]]|C|$]]

Mathematica has a Combinatorica package, which though quite venerable at this point, provides a good deal of support for combinatorics and graphs. Commands like this are available:
 NecklacePolynomial[8, m, Cyclic];
 GrayCodeSubsets[{1, 2, 3, 4}];
 IntegerPartitions[6]

blocks|key|878586|text|我会说数学是你最好的选择。即使它没有提供一些现成的功能，它也有非常好的辅助包可供它在网上使用。|type|unstyled|depth|inlineStyleRanges|entityRanges|data|878587|查看http://www.wolfram.com/products/mathematica/analysis/|offset|length|878588|您可能对数论、图形可视化的链接感兴趣|878589|entityMap|0|LINK|mutability|MUTABLE|url|http://www.wolfram.com/products/mathematica/analysis/^0|0|2|1H|0|0|0^^$0|@$1|2|3|4|5|6|7|P|8|@]|9|@]|A|$]]|$1|B|3|C|5|6|7|Q|8|@]|9|@$D|R|E|S|1|T]]|A|$]]|$1|F|3|G|5|6|7|U|8|@]|9|@]|A|$]]|$1|H|3|-4|5|6|7|V|8|@]|9|@]|A|$]]]|I|$J|$5|K|L|M|A|$N|O]]]]

I'd say Mathematica is your best bet.. even if it does not come with some functionality out of the box, it has very well designed supplementary packages available for it on the net 
check out <a href="http://www.wolfram.com/products/mathematica/analysis/" rel="nofollow noreferrer">http://www.wolfram.com/products/mathematica/analysis/</a> 
you might be interested in the links for Number Theory, Graph Visualizations

blocks|key|232934|text|我还找到了圣人。它似乎是与Mathematica最接近的开放源码，但我不知道它处理离散数学的能力有多好。|type|unstyled|depth|inlineStyleRanges|entityRanges|offset|length|data|232935|entityMap|0|LINK|mutability|MUTABLE|url|http://www.sagemath.org/index.html^0|5|2|0|0^^$0|@$1|2|3|4|5|6|7|L|8|@]|9|@$A|M|B|N|1|O]]|C|$]]|$1|D|3|-4|5|6|7|P|8|@]|9|@]|C|$]]]|E|$F|$5|G|H|I|C|$J|K]]]]

I also found <a href="http://www.sagemath.org/index.html" rel="nofollow noreferrer">Sage</a>. It appears to be the closest thing to Mathematica that's open source, but I'm not sure how well it handles discrete mathematics.

blocks|key|883379|text|Maple和Matlab是几个数学软件包，可能涵盖你想要的部分内容。|type|unstyled|depth|inlineStyleRanges|entityRanges|offset|length|data|883380|entityMap|0|LINK|mutability|MUTABLE|url|http://en.wikipedia.org/wiki/Maple_(software)|1|http://en.wikipedia.org/wiki/MATLAB^0|0|5|0|6|6|1|0^^$0|@$1|2|3|4|5|6|7|N|8|@]|9|@$A|O|B|P|1|Q]|$A|R|B|S|1|T]]|C|$]]|$1|D|3|-4|5|6|7|U|8|@]|9|@]|C|$]]]|E|$F|$5|G|H|I|C|$J|K]]|L|$5|G|H|I|C|$J|M]]]]

<a href="http://en.wikipedia.org/wiki/Maple_(software)" rel="nofollow noreferrer">Maple</a> and <a href="http://en.wikipedia.org/wiki/MATLAB" rel="nofollow noreferrer">Matlab</a> would be a couple of Mathematical software packages that may cover part of what you want.

blocks|key|883415|text|斯坦福大学GraphBase主要由Donald编写，是一个用于组合计算的很好的软件包。我不认为它是一个广泛的代码库，但是它对图有很大的支持，许多离散的数学可以用图论来表述。它是用CWEB编写的，这是一个更易读的C版本。|type|unstyled|depth|inlineStyleRanges|entityRanges|offset|length|data|883416|编辑:这是免费的。|883417|entityMap|0|LINK|mutability|MUTABLE|url|http://www-cs-faculty.stanford.edu/~uno/sgb.html^0|0|E|0|0|0^^$0|@$1|2|3|4|5|6|7|N|8|@]|9|@$A|O|B|P|1|Q]]|C|$]]|$1|D|3|E|5|6|7|R|8|@]|9|@]|C|$]]|$1|F|3|-4|5|6|7|S|8|@]|9|@]|C|$]]]|G|$H|$5|I|J|K|C|$L|M]]]]

<a href="http://www-cs-faculty.stanford.edu/~uno/sgb.html" rel="nofollow">Stanford GraphBase</a>, written primarily by Donald Knuth is a great package for combinatorial computing. I wouldn't call it an extensive code base, but it has great support for graphs and a great deal of discrete mathematics can be formulated in terms of graph theory. It's written in CWEB, which is (IMO) a more readable version of C.

EDIT: It's free.

blocks|key|883443|text|我喜欢数学，在我的计算物理PhD期间，我用它来模拟思想。然而，Mathematica试图成为所有人的一切，但也有一些缺点：|type|unstyled|depth|inlineStyleRanges|entityRanges|data|883444|作为一家营利性公司，bug修复有时会出现在下一个主要版本:你付钱。|unordered-list-item|883445|作为一种专有产品，与非Mathematica人(世界)共享代码是有问题的.|883446|当你试图超越嵌入的例子时，新的特性往往是半生不熟的。|883447|它的用户基础(教程、建议、外部库)不像python那样活跃，|883448|多个面板图形很难生成；请参阅SciDraw库。|offset|length|883449|尽管如此，Mathematica的核心功能是惊人的，原因如下：|883450|它的默认数学功能非常健壮，允许快速解决方案。|883451|它既允许功能编程，也允许过程编程。|883452|一个人可以快速编码和发布多种格式:+pdf，交互式网站。|883453|一个新的离散书出现了。|883454|底线|style|BOLD|883455|希望使用方便的苹果用户，会喜欢Mathematica的苹果感觉--像苹果一样|883456|Linux用户想要扩展性，就会因为拥有像苹果一样的盒子焊接式的设计而感到沮丧。|883457|entityMap|0|LINK|mutability|MUTABLE|url|http://scidraw.nd.edu/levelscheme/|1|https://rads.stackoverflow.com/amzn/click/com/1938159004^0|0|0|0|0|0|E|7|0|0|0|0|0|0|6|1|1|0|0|2|0|0|0^^$0|@$1|2|3|4|5|6|7|1G|8|@]|9|@]|A|$]]|$1|B|3|C|5|D|7|1H|8|@]|9|@]|A|$]]|$1|E|3|F|5|D|7|1I|8|@]|9|@]|A|$]]|$1|G|3|H|5|D|7|1J|8|@]|9|@]|A|$]]|$1|I|3|J|5|D|7|1K|8|@]|9|@]|A|$]]|$1|K|3|L|5|D|7|1L|8|@]|9|@$M|1M|N|1N|1|1O]]|A|$]]|$1|O|3|P|5|6|7|1P|8|@]|9|@]|A|$]]|$1|Q|3|R|5|D|7|1Q|8|@]|9|@]|A|$]]|$1|S|3|T|5|D|7|1R|8|@]|9|@]|A|$]]|$1|U|3|V|5|D|7|1S|8|@]|9|@]|A|$]]|$1|W|3|X|5|D|7|1T|8|@]|9|@$M|1U|N|1V|1|1W]]|A|$]]|$1|Y|3|Z|5|6|7|1X|8|@$M|1Y|N|1Z|10|11]]|9|@]|A|$]]|$1|12|3|13|5|D|7|20|8|@]|9|@]|A|$]]|$1|14|3|15|5|D|7|21|8|@]|9|@]|A|$]]|$1|16|3|-4|5|6|7|22|8|@]|9|@]|A|$]]]|17|$18|$5|19|1A|1B|A|$1C|1D]]|1E|$5|19|1A|1B|A|$1C|1F]]]]

I love Mathematica and used it to prototype ideas during my PhD in computational physics. However, Mathematica tries to be all things to all people and there are a few downsides:

<ul>
<li>Being a for-profit company, bug-fixes sometimes come in the next major release: you pay.</li>
<li>Being a proprietary product, sharing code with non-Mathematica people (the world) is problematic.</li>
<li>New features are often half-baked and break when you try to take it beyond the embedded example.</li>
<li>It's user base (tutorials, advice, external libraries) is less active than say python's,</li>
<li>Mulitpanel figures are difficult to generate; see <a href="http://scidraw.nd.edu/levelscheme/" rel="nofollow noreferrer">SciDraw</a> library.</li>
</ul>

That being said, Mathematica's core functionality is amazing for the following reasons:

<ul>
<li>Its default math functionality is quite robust allowing quick solutions.</li>
<li>It allows both functional and procedural programming.</li>
<li>One can quickly code &amp; publish in a variety of formats: pdf, interactive website.</li>
<li>A new Discrete <a href="https://rads.stackoverflow.com/amzn/click/com/1938159004" rel="nofollow noreferrer" rel="nofollow noreferrer">Book</a> came out.</li>
</ul>

Bottom line

<ul>
<li>Apple users expecting ease of use, will like Mathematica for its Apple-like, get-up-and-go feel.</li>
<li>Linux users wanting extensibility, will find Mathematica frustrating for having its Apple-like, box-welded-shut design.</li>
</ul>

<a href="http://en.wikipedia.org/wiki/Discrete_mathematics" rel="nofollow noreferrer">Discrete mathematics (also finite mathematics)</a> deals with topics such as logic, set theory, information theory, partially ordered sets, proofs, relations, and a number of other topics.

For other branches of mathematics, there are tools that support programming. For statistics, there is <a href="http://en.wikipedia.org/wiki/R_(programming_language)" rel="nofollow noreferrer">R</a> and <a href="http://en.wikipedia.org/wiki/S_programming_language" rel="nofollow noreferrer">S</a> that have many useful statistics functions built in. For numerical analysis, <a href="http://en.wikipedia.org/wiki/GNU_Octave" rel="nofollow noreferrer">Octave</a> can be used as a language or integrated into C++. 

I don't know of any languages or packages that deal specifically with discrete mathematics (although just about every language can be used to implement algorithms used in discrete mathematics, there should be libraries or environments out there designed specifically for these applications).

Is there a tool that supports discrete mathematics?

翻译质量差，导致语言生硬或混乱。

没有提供实际的解决方法或示例。

解答不清晰，无法理解或解决问题。

页面排版不美观，阅读体验差。

文章

问答

视频

教程

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云智能顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云AI代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

功能1上新10个字符

功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符。

功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符。

功能5描述100个字符功能5描述100个字符功能5描述100个字符功能5描述100个字符功能5描述100个字符功能5描述100个字符

功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符

功能4上新

文章&问答评论现已支持表情

全新交互，全新视觉，新增快捷键、悬浮工具栏、高亮块等功能并同时优化现有功能，全面提升创作效率和体验

社区富文本编辑器全新改版！诚邀体验～ 

精选全网热门MCP server，让你的AI更好用 🚀

💥开发者 MCP广场重磅上线！

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

聚焦“写作效率、视觉美观与运行性能”三方面进行全面升级，为您提供更高效、稳定的创作环境

社区富文本&Markdown编辑器全新改版上线，欢迎大家体验!

诚挚邀请您参与本次调研，分享您的真实使用感受与建议。您的反馈至关重要，感谢您的支持与参与！

社区新版编辑器体验调研

涉及逻辑、集合论、信息论、偏序集、证明、关系等主题。对于数学的其他分支，有支持编程的工具。对于统计，有许多有用的统计函数内置的和。对于数值分析，可以作为一种语言，也可以集成到C++中。我不知道有任何语言或软件包专门处理离散数学(虽然几乎每种语言都可以用来实现离散数学中使用的算法，但是应该有专门为这些应用程序设计的库或环境)。

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

回答 8

Stack Overflow用户

Stack Overflow用户

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

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

回答 8

Stack Overflow用户

Stack Overflow用户

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

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