在开发实验数学中，一个重要的行为是数字识别：从一个数向后推导出它产生的方式. Wolfram 语言提供识别各种类型数的工具，包括许多原算法.

Primes  ▪  Algebraics  ▪  Rationals  ▪  Integers

Element — 测试一个数是否属于给定类型

Rationalize — 找到一个有理近似值

ContinuedFraction  ▪  Convergents

RootApproximant — 找到一个代数数的近似值

ToRadicals  ▪  RootReduce  ▪  MinimalPolynomial

FindIntegerNullVector — 找到向量 vector 以满足

LatticeReduce — 求出点阵中化简的基向量

FunctionExpand — 数值表达式化简成简单函数

PrimeQ — 素数识别

CompositeQ  ▪  SquareFreeQ  ▪  PrimePowerQ  ▪  AlgebraicIntegerQ

FindSequenceFunction — 找到整数序列的函数形式