Theorem Proving

28 fungsi yang difailkan rujukan di bawah topik ini, dikumpulkan seperti halaman panduannya sendiri mengumpulkannya.

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

Semua 626 topik · Rujukan fungsi