BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Computer environments for math problem solving - Mirek Olšák (Un
 iversity of Cambridge)
DTSTART:20241017T160000Z
DTEND:20241017T170000Z
UID:TALK222763@talks.cam.ac.uk
CONTACT:Anand Rao Tadipatri
DESCRIPTION:Although the interactive theorem provers managed to capture re
 asonably well the language of proofs\, they are still behind in following 
 the problem-solving process\, especially in less algebraic domains of math
 ematics. We study this issue by looking at specific cases of problems\, an
 d trying to find a reasonably close computer approximation of what a mathe
 matician playing with the problem does. In this talk\, a particular focus 
 will be given to the grasshopper problem -- IMO-2009-6.\n\n=== Hybrid talk
  ===\n\nRecording: https://www.youtube.com/watch?v=EOmlM9Yqr2Q
LOCATION:MR14 Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR