- Calcule o limite, os componentes conectados e outras propriedades topológicas de conjuntos de soluções para sistemas polinomiais reais. »
- Expresse grandes sistemas de forma natural e sucinta usando variáveis vetoriais e matriciais. »
- Solucione com eficiência grandes sistemas de equações e desigualdades com estrutura especial. »
- Resolva classes antes intratáveis de sistemas de equação e desigualdade. »
- Formule problemas de otimização de maneira mais concisa e natural usando variáveis vetoriais e matriciais. »
- Resolva novas classes de problemas exatos de otimização. »
- Resolva equações "passo a passo" usando novas funções para adicionar, multiplicar e, de outra forma, combinar equações e desigualdades. »
- Produza provas automáticas de teoremas de lógica equacional. »
- Prove os teoremas usando uma coleção interna de teorias axiomáticas. »
- Apresente provas em vários formatos, incluindo gráficos, conjuntos de dados e notebooks. »
Exemplos Relacionados
Funções relacionadas
- 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
