Als «automated-theorem-proving» getaggte Fragen

Automatisierte Theoremprüfung ist die Prüfung mathematischer Theoreme durch ein Computerprogramm.