Dieser Beitrag wurde inspiriert durch einige kürzliche Diskussionen mit Bjoern Bringmann. Symbolische Mathematik-Software-Pakete sind hochentwickelt für viele mathematische Aufgaben in Bereichen wie Algebra, Analysis und numerischer Analyse. Jedoch, soweit ich weiß, haben wir nicht ähnlich sophisticated Tools für die Verifizierung asymptotischer Abschätzungen – Ungleichungen, die für beliebig […] gelten sollen.