相关范例
相关函数
- AddSides
- ApplySides
- AxiomaticTheory
- CylindricalDecomposition
- DivideSides
- FindEquationalProof
- FindInstance
- FunctionDomain
- ModularInverse
- NegativeIntegers
- NegativeRationals
- NegativeReals
- NonNegativeIntegers
- NonNegativeRationals
- NonNegativeReals
- NonPositiveIntegers
- NonPositiveRationals
- NonPositiveReals
- Maximize
- MaxValue
- Minimize
- MinValue
- MultiplySides
- PositiveIntegers
- PositiveRationals
- PositiveReals
- PrimitivePolynomialQ
- ProofObject
- Reduce
- Root
- Solve
- SubtractSides
- VectorGreater
- VectorGreaterEqual
- VectorLess
- VectorLessEqual