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 トピック · 関数リファレンス