Automatizando la Verificación de Estimaciones Asintóticas: Una Herramienta en Python

Esta publicación describe una herramienta en Python para verificar automáticamente estimaciones asintóticas, especialmente aquellas que involucran un número finito de números reales positivos combinados usando operaciones aritméticas como suma, multiplicación, división, exponenciación y mínimo/máximo. La herramienta utiliza división de casos y programación lineal para determinar automáticamente si una desigualdad es verdadera, proporcionando una prueba o un contraejemplo. El autor ilustra la utilidad de la herramienta con ejemplos personales y discute mejoras futuras, como manejar expresiones más complejas e integración en plataformas de software matemático existentes.