Márton Hajdu

Die Kombination aus Umschreiben und induktivem Denken steigert die Effizienz beim automatischen Beweisen von Theoremen.

Dieser Artikel betrachtet die aktuellen Bemühungen, induktives Schliessen in der Beweisführung zu automatisieren.