The INI has a new website!

This is a legacy webpage. Please visit the new site to ensure you are seeing up to date information.

Skip to content



Automated and Human Proofs in General Mathematics: An Initial Comparison

Alama, J (Universidade Nova de Lisboa (UNL))
Tuesday 24 January 2012, 17:00-17:30

Seminar Room 1, Newton Institute


[pdf ]


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.

Back to top ∧