automated theorem proving
0 demostración automática de teoremas
Área del razonamiento automatizado y lógica matemática que trata de probar teoremas matemáticos mediante programas informáticos. El problema de decidir sobre si un teorema es válido o no, varía desde ser una tarea trivial a imposible.