Wolfram言語は離散数学において，20年以上に渡って重要な発見を行うのに使われてきた．高度に効率的で，多くの場合独自であるアルゴリズムと，高レベル記号言語の統合により，Wolfram言語は離散数学の探究，開発，応用のためのユニークな環境となった．

リストと集合の操作 »

Tuples  ▪  Subsets  ▪  Union  ▪  Intersection  ▪  Complement  ▪  DisjointQ  ▪  ...

置換 »

Permutations  ▪  Sort  ▪  Ordering  ▪  Signature  ▪  RandomSample  ▪  ...

群論 »

PermutationGroup  ▪  GroupOrder  ▪  GroupElements  ▪  GroupElementQ  ▪  ...

列挙関連関数 »

Factorial  ▪  Binomial  ▪  Fibonacci  ▪  StirlingS1  ▪  PartitionsP  ▪  IntegerPartitions  ▪  FiniteGroupCount  ▪  ...

離散微積分 »

RSolve — 再帰方程式を解く

Sum  ▪  GeneratingFunction  ▪  ZTransform  ▪  DifferenceDelta  ▪  ContinuedFractionK  ▪  ...

整数列 »

FindSequenceFunction — 整数列の関数を求める

RecurrenceTable  ▪  LinearRecurrence  ▪  ...

文字列と数字

StringReplaceList  ▪  IntegerDigits  ▪  BitXor  ▪  BitAnd

ReplaceList — パターンに合致する形式のリストを生成する

グラフとネットワーク »

Graph — 無向，有向，混合グラフ，または多重グラフを表す

FindShortestPath  ▪  FindCycle  ▪  FindGraphIsomorphism  ▪  ...

木と式の列挙

TreeGraph  ▪  KaryTree  ▪  FindSpanningTree  ▪  ClusteringTree  ▪  ...

Groupings — 要素のリストからすべての可能な木の式を生成する

組合せの最適化

FindMinimum，Minimize — 整数計画問題を解く

FindShortestTour — 巡回セールスマン問題を解く

KnapsackSolve  ▪  FrobeniusSolve

ブール計算 »

And  ▪  Or  ▪  SatisfiableQ  ▪  BooleanFunction  ▪  BooleanMinimize  ▪  ...

代数系 »

FiniteGroupData  ▪  LatticeData  ▪  KnotData

計算系 »

CellularAutomaton  ▪  TuringMachine  ▪  SubstitutionSystem  ▪  RulePlot

暗号 »

Encrypt  ▪  Decrypt  ▪  GenerateSymmetricKey  ▪  ...