- Calcule el límite, los componentes conectados y otras propiedades topológicas de conjuntos de soluciones para sistemas polinomios reales. »
- Exprese grandes sistemas de forma natural o sucinta usando las variables de vector y matriz. »
- Resuelta de forma eficiente grandes sistemas de ecuaciones y desigualdades con estructura especial. »
- Resuelva clases de sistemas de ecuaciones y desigualdades previamente intratables. »
- Formule problemas de optimización de una forma más concisa y natural usando variables de matriz. »
- Resuelva nuevas clases de problemas exactos de optimización. »
- Resuelva ecuaciones "paso a paso" usando nuevas funciones para agregar, multiplicar y combinar ecuaciones y desigualdades. »
- Cree pruebas automáticas de teoremas de lógica equitativa. »
- Demuestre teoremas usando una colección de teorías axiomáticas incorporadas. »
- Presente pruebas en varios formatos, incluyendo grafos, conjuntos de datos y cuadernos. »
Ejemplos relacionados
Funciones 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