Is there a tool that supports discrete mathematics?

Question

Discrete mathematics (also finite mathematics) 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 R and S that have many useful statistics functions built in. For numerical analysis, Octave 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).

Answer 1

Mathematica

Answer 2

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 http://www.wolfram.com/products/mathematica/analysis/
you might be interested in the links for Number Theory, Graph Visualizations

Answer 3

I also found Sage. It appears to be the closest thing to Mathematica that's open source, but I'm not sure how well it handles discrete mathematics.

Answer 4

Maple and Matlab would be a couple of Mathematical software packages that may cover part of what you want.

Answer 5

The current version of Mathematica is 7. License costs:

1. Home Edition: $295.
2. Standard: $2,495 Win/Mac/Linux PC ($3,120 for Solaris)
3. Government: $1,996 ($2,496 for Solaris)
4. Educational: $1,095 ($1,370 for Solaris)
5. Student: $139.95 (no Solaris)

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 Maple is 12. License costs:

1. Student: $99
2. Commercial: $1,895
3. Academic: $995
4. Government: $1,795

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