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 个主题 · 函数参考