has been used to make many important discoveries in discrete mathematics over the past two decades. Its integration of highly efficient and often original algorithms together with its high-level symbolic language has made it a unique environment for the exploration, development and application of discrete mathematics.
solve recurrence equations
generate a list of forms matching a pattern
database of named and enumerated graphs and their properties
, Minimize —
solve integer programming problems
solve traveling salesman problems