COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > The role of explanation in mathematical research

## The role of explanation in mathematical researchAdd to your list(s) Download to your calendar using vCal - Alison Pease (University of Dundee)
- Friday 14 July 2017, 09:00-10:00
- Seminar Room 1, Newton Institute.
If you have a question about this talk, please contact info@newton.ac.uk. BPRW01 - Computer-aided mathematical proof Co-authors: Andrew Aberdein (Florida Institute of Technology), Ursula Martin (University of Oxford) This talk is part of the Isaac Newton Institute Seminar Series series. ## This talk is included in these lists:- All CMS events
- Featured lists
- INI info aggregator
- Isaac Newton Institute Seminar Series
- School of Physical Sciences
- Seminar Room 1, Newton Institute
Note that ex-directory lists are not shown. |
## Other listsDepartment of Earth Sciences Seminars (downtown) COP15 explained what Copenhagen means for you Electrical Engineering Division Talks## Other talksWeather on Brown Dwarfs: New Insights from Synoptic Spectrophotometry and Fluid Instability Models A conclusive test of cold dark matter Celebrating 10 Years of Cambridge Global Health Partnerships Synthesising Provably Correct Controllers for Manufacturing The evolution of photosynthetic efficiency Robustness and dynamics of natural direct reprogramming |