Asistente de Prueba Matemática Interactivo Construido con Python y SymPy

Un desarrollador ha creado un asistente de prueba matemática interactivo utilizando Python y la biblioteca SymPy. Prueba semi-automáticamente estimaciones asintóticas que involucran funciones escalares. Imitando al asistente de prueba Lean, la herramienta admite aritmética lineal y aritmética log-lineal, permitiendo a los usuarios guiar el proceso de prueba proporcionando tácticas de alto nivel. Actualmente funciona en el modo interactivo de Python, y se planea una interfaz gráfica de usuario para el futuro. El desarrollador tiene la intención de ampliar la herramienta para manejar una gama más amplia de tareas matemáticas, como la estimación de normas de espacios funcionales.