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 > Language and automation in mathematics

## Language and automation in mathematicsAdd to your list(s) Download to your calendar using vCal - Natarajan Shankar (SRI International); Leonardo de Moura (Microsoft Research); Arnold Neumaier (Universität Wien); Cesare Tinelli (University of Iowa)
- Monday 24 July 2017, 11:00-12:00
- Seminar Room 2, Newton Institute.
If you have a question about this talk, please contact info@newton.ac.uk. BPR - Big proof Arnold Neumaier will give a short talk on “The communication of mathematics”. 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 2, Newton Institute
Note that ex-directory lists are not shown. |
## Other listsElectronic Structure Discussion Group ‘Diglossia, Bidialectalism, or Bilingualism? Portuguese as a Foreign Language in the Classroom’ Plant Sciences Talks## Other talksCoherent spin manipulation in a CMOS transistor: an introduction to fabrication and applications of hole spin quantum bits THE MATHEMATICAL MAGIC OF MIXED REALITY Vision Journal Club: Pre-saccadic perceptual changes Light Echoes in Art and Science: How far do the Two Constituencies Reflect Each Other in Theory and Practice? Ice edge failure process How satellite imagery is transforming conservation science |