Computerphile

Mechanizing Mathematical Proofs (2024x7)

:

A graphical problem seems intuitive to a human, but how do you explain something formally to a machine? Dr. Mohammad Abdulaziz, Lecturer in Artificial Intelligence, King's College London