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 > Formalisation of mathematics with interactive theorem provers > Formalizing algebraic number theory, recent progress and future challenges

## Formalizing algebraic number theory, recent progress and future challengesAdd to your list(s) Download to your calendar using vCal - Dr Alex J. Best (King's College London)
- Thursday 08 June 2023, 17:00-18:00
- MR20 Centre for Mathematical Sciences.
If you have a question about this talk, please contact Angeliki Koutsoukou-Argyraki. Note: different room, MR20 this time Most areas of mathematics present their own individual challenges from the perspective of formalization, arguments that are perceived as routine and obvious, or simply well known or intuitive to practitioners, that turn out to be far more difficult to express in a formal system. I’ll present some recent formalization projects from my own area of mathematics, concerning basic yet central topics in algebraic number theory, such as class groups and diophantine equations, and local invariants of elliptic curves. These areas have until recently seen relatively little attention from the perspective of formalization. A special attention will be paid to aspects that have made these formalizations tricky to complete and ways in which proof assistants can be improved to ensure future formalizations in these areas are shorter and closer to the arguments used by those working in these fields. This talk is part of the Formalisation of mathematics with interactive theorem provers series. ## This talk is included in these lists:- All CMS events
- All Talks (aka the CURE list)
- CMS Events
- Cambridge talks
- DPMMS Lists
- DPMMS Pure Maths study groups
- DPMMS info aggregator
- DPMMS lists
- Department of Computer Science and Technology talks and seminars
- Formalisation of mathematics with interactive theorem provers
- Hanchen DaDaDash
- Interested Talks
- MR20 Centre for Mathematical Sciences
- School of Physical Sciences
- School of Technology
- Trust & Technology Initiative - interesting events
- bld31
Note that ex-directory lists are not shown. |
## Other listsWeekend courses at Madingley Hall DAMTP Jubilee Celebration Faculty of Economics## Other talksAntarctica:Isolated Continent Distributed brain network activities in memory resilient to extinction Probabilistic and Statistical Tools 1 Moving from equity to justice in computing instruction for youth Microlocal analysis methods in synthetic aperture radar imaging Structure-based Drug Design and Molecular Optimisation with Diffusion Models |