Soy asistente de pruebas de autoaprendizaje y decidí comenzar con algunas pruebas básicas y progresar. Como las pruebas se basan en otras pruebas y, por lo tanto, forman una jerarquía, ¿existe un depósito de la jerarquía de pruebas?
Sé que puedo elegir un asistente de pruebas en particular y analizar su biblioteca para extraer su jerarquía, sin embargo, si quiero encontrar la siguiente prueba en una cadena para probar, no puedo cuando no está en la biblioteca.
En mi opinión, imagino un gráfico, probablemente un DAG , de todas las pruebas matemáticas conocidas que se pueden expresar usando declaraciones en inglés, no pruebas usando imágenes . Este sería el mapa maestro (un mapa en el sentido de comenzar en un punto y viajar a otro punto a través de puntos intermedios), y para un asistente de prueba particular, uno tendría un subgrafo del mapa maestro. Luego, si uno quisiera crear una prueba usando un asistente de prueba que se encuentra en el maestro y no en el subgrafo, al comparar los dos gráficos se podría tener una idea del trabajo necesario para crear las pruebas que faltan para el asistente de prueba.
Soy consciente de que las pruebas matemáticas no son necesariamente fáciles de usar para un asistente de pruebas, sin embargo, tener una idea general de qué hacer es mucho mejor que ninguna.
Además, al tener el mapa maestro, puedo ver si hay múltiples rutas de un punto a otro y elegir una ruta que sea más adecuada para el asistente de prueba particular.
EDITAR
Al buscar encontré algo similar para las funciones matemáticas . No encontré uno para pruebas en el NIST
