Automatisation de la vérification des estimations asymptotiques : un outil Python

Cet article décrit un outil Python permettant de vérifier automatiquement les estimations asymptotiques, en particulier celles impliquant un nombre fini de nombres réels positifs combinés à l’aide d’opérations arithmétiques telles que l’addition, la multiplication, la division, l’exponentiation et les fonctions min/max. L’outil utilise la division en cas et la programmation linéaire pour déterminer automatiquement si une inégalité est vraie, en fournissant une preuve ou un contre-exemple. L’auteur illustre l’utilité de l’outil à l’aide d’exemples personnels et discute des améliorations futures, telles que la gestion d’expressions plus complexes et l’intégration dans les plates-formes logicielles mathématiques existantes.