Automatisierung der Verifikation asymptotischer Abschätzungen: Ein Python-Tool
2025-05-02
Dieser Beitrag beschreibt ein Python-Tool zur automatischen Verifikation asymptotischer Abschätzungen, insbesondere solcher, die eine endliche Anzahl positiver reeller Zahlen beinhalten, kombiniert mit arithmetischen Operationen wie Addition, Multiplikation, Division, Exponentiation und Minimum/Maximum. Das Tool verwendet Fallunterscheidungen und lineare Programmierung, um automatisch zu bestimmen, ob eine Ungleichung gilt, und liefert einen Beweis oder ein Gegenbeispiel. Der Autor veranschaulicht die Nützlichkeit des Tools anhand persönlicher Beispiele und diskutiert zukünftige Verbesserungen, wie z. B. die Behandlung komplexerer Ausdrücke und die Integration in bestehende mathematische Softwareplattformen.