在过去的二十年，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  ▪  ...