Algebraische Berechnungen
Mathematica 12 erweitert seine bereits leistungsstarken Möglichkeiten in der algebraischen Berechnung um Funktionen für Benutzer auf jedem Wissensniveau, angefangen bei Schülern bis hin zu Forschern. Die Verbesserungen reichen von neuen Funktionen, die Gleichungen Schritt für Schritt bearbeiten, über leistungsfähigere Gleichungs- und Optimierungssolver bis hin zum Nachweis von Gleichungssätzen.
- Berechnung der Grenze, verbundenen Komponenten und anderer topologischer Eigenschaften von Lösungssätzen für reelle Polynomsysteme »
- Natürliche und prägnante Darstellung großer Systeme unter Verwendung von Vektor- und Matrixvariablen »
- Effizientes Lösen großer Gleichungs- und Ungleichungssysteme mit spezieller Struktur »
- Lösen bisher unlösbarer Klassen von Gleichungs- und Ungleichungssystemen »
- Formulieren von Optimierungsproblemen auf eine prägnante und natürliche Weise unter Verwendung von Vektor- und Matrixvariablen »
- Lösen neuer Klassen von exakten Optimierungsproblemen »
- Schrittweises Lösen von Gleichungen mit neu hinzugefügten Funktionen zur Addition, Multiplikation und weiteren Operatoren für Gleichungen und Ungleichungen »
- Erstellen von automatischen Beweisen von Gleichungslogik-Theoremen »
- Beweisen von Theoremen durch integrierte Sammlung an Axiom-Theorien »
- Präsentation von Beweisen in verschiedenen Formaten, darunter Grafiken, Datensätze und Notebooks »