Theorem Proving

參考文件在此主題下收錄了 28 個函式，並依其指南頁面本身的分組方式排列。

Predicates

Equal And Or Not Implies ForAll Exists Element NotElement Resolve Reduce FindInstance FullSimplify

Propositional Logic & Boolean Algebra »

SatisfiableQ TautologyQ BooleanConvert

Polynomial Algebra »

PolynomialGCD GroebnerBasis

Specific Tests

PossibleZeroQ PrimeQ IsomorphicGraphQ HamiltonianGraphQ

Specific Canonical Forms

Expand RootReduce TrigExpand TrigReduce PiecewiseExpand

Expression Enumeration

全部 626 個主題 · 函式參考