BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:David Angdinata (UCL)
DTSTART:20250325T140000Z
DTEND:20250325T150000Z
DTSTAMP:20260421T154347Z
UID:UEAPS/51
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/UEAPS/51/">T
 eaching a computer algebraic number theory</a>\nby David Angdinata (UCL) a
 s part of ANTLR seminar\n\nLecture held in SCI 3.05.\n\nAbstract\nFor most
  of recorded human history\, mathematics has been done with good-old pen a
 nd paper. With the advent of modern computers\, lightning-fast calculation
 s and large-scale datasets have granted us unprecedented advances in mathe
 matics\, both in pure and applied forms. On the other hand\, they have mer
 ely been algorithmic tools for us to compute with\, while lacking the capa
 city to comprehend and formulate new ideas as we do. I will explore recent
  attempts at teaching my area of arithmetic geometry to a computer\, by fo
 rmalising fundamental constructions in an interactive theorem prover calle
 d Lean.\n
LOCATION:https://researchseminars.org/talk/UEAPS/51/
END:VEVENT
END:VCALENDAR