skip to content

Automated and Human Proofs in General Mathematics: An Initial Comparison

Presented by: 
J Alama Universidade Nova de Lisboa (UNL)
Tuesday 24th January 2012 - 17:00 to 17:30
INI Seminar Room 1
The video for this talk should appear here if JavaScript is enabled.
If it doesn't, something may have gone wrong with our embedded player.
We'll get it fixed as soon as possible.
Presentation Material: 
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons