Combinar la reescritura y el razonamiento inductivo mejora la eficiencia en la demostración automática de teoremas.
― 6 minilectura
Márton Hajdu
Este artículo revisa los esfuerzos recientes para automatizar el razonamiento inductivo en la demostración de teoremas.
― 7 minilectura