Automatizando a Verificação de Estimativas Assintóticas: Uma Ferramenta Python
2025-05-02
Esta publicação descreve uma ferramenta Python para verificar automaticamente estimativas assintóticas, especialmente aquelas envolvendo um número finito de números reais positivos combinados usando operações aritméticas como adição, multiplicação, divisão, exponenciação e mínimo/máximo. A ferramenta usa divisão de casos e programação linear para determinar automaticamente se uma desigualdade é verdadeira, fornecendo uma prova ou contra-exemplo. O autor ilustra a utilidade da ferramenta com exemplos pessoais e discute melhorias futuras, como lidar com expressões mais complexas e integração em plataformas de software matemático existentes.