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 بابەتەکە · سەرچاوەی فەنکشنەکان