![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Mirek Olšák (University of Cambridge)
Thursday 17 October 2024, 17:00-18:00
Computer environments for math problem solving
- 👤 Speaker: Mirek Olšák (University of Cambridge)
- 📅 Date & Time: Thursday 17 October 2024, 17:00 - 18:00
- 📍 Venue: MR14 Centre for Mathematical Sciences
Questions? Contact
Anand Rao Tadipatri
Abstract
Although the interactive theorem provers managed to capture reasonably well the language of proofs, they are still behind in following the problem-solving process, especially in less algebraic domains of mathematics. We study this issue by looking at specific cases of problems, and trying to find a reasonably close computer approximation of what a mathematician playing with the problem does. In this talk, a particular focus will be given to the grasshopper problem— IMO -2009-6.
=== Hybrid talk ===
Recording: https://www.youtube.com/watch?v=EOmlM9Yqr2Q
Series This talk is part of the Formalisation of mathematics with interactive theorem provers series.
Included in Lists
- All CMS events
- All Talks (aka the CURE list)
- bld31
- Cambridge talks
- CMS Events
- Department of Computer Science and Technology talks and seminars
- DPMMS info aggregator
- DPMMS lists
- DPMMS Lists
- DPMMS Pure Maths study groups
- Formalisation of mathematics with interactive theorem provers
- Hanchen DaDaDash
- Interested Talks
- Martin's interesting talks
- MR14 Centre for Mathematical Sciences
- School of Physical Sciences
- School of Technology
- Trust & Technology Initiative - interesting events
- yk449
Note: Ex-directory lists are not shown.