- Berechnen von Rand, verbundenen Komponenten und anderen topologischen Eigenschaften von Lösungssätzen für reale Polynomsysteme. »
- Prägnantes Ausdrücken großer Systeme mithilfe von Vektor- und Matrixvariablen. »
- Effizientes Lösen großer Gleichungs- und Ungleichungssysteme mit besonderer Struktur. »
- Lösen zuvor schwieriger Klassen von Gleichungs- und Ungleichungssystemen. »
- Präzises Formulieren von Optimierungsproblemen mithilfe von Vektor- und Matrixvariablen. »
- Lösen neuer Klassen exakter Optimierungsprobleme. »
- "Schritt-für-Schritt"-Lösen von Gleichungen dank neuer Funktionen zur Addition, Multiplikation und sonstiger Kombination von Gleichungen und Ungleichungen. »
- Automatisches Beweisen von Theoremen der Gleichungslogik. »
- Beweisen von Theoremen mit einer eingebauten Sammlung axiomatischer Theorien. »
- Präsentation von Beweisen in verschiedenen Formaten wie Graphen, Datensätzen und Notebooks. »
Verwandte Beispiele
Verwandte Funktionen
- 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
