Theorem Proving

28 Funktionen, die die Referenz unter diesem Thema einordnet, gruppiert wie ihre eigene Guide-Seite sie gruppiert.

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

Alle 626 Themen · Funktionsreferenz