ディオファントス(Diophantine)方程式
ディオファントス方程式は論証不能の古典的な例を提供するが，実際にはWolfram言語は整数論の最先端に基づく何十もの独自のメソッドを自動的に適用しながら，多岐に渡るディオファントス方程式を解くことができる．
FindInstance — ディオファントス方程式の特定の解を求める
Reduce — ディオファントス方程式および不等式の一般的な簡約
IntegerPartitions — 整数の分割
FrobeniusSolve — フロベニウス(Frobenius)方程式を解く
KnapsackSolve — 整数線形計画法問題を解く
SquaresR ▪ PowersRepresentations ▪ PartitionsP ▪ ...
ChineseRemainder — 多元連立1次合同式を解く
MultiplicativeOrder ▪ PowerMod ▪ ...