Past Papers can be found on the Mathematical Institute website here.
Here are a few resources which may help:The Oxford Numerical Modelling Society (OxNuMoS) is a new initiative with the goal of bringing together like-minded, passionate early-career researchers from a range of diverse disciplines (right across the MPLS division) to exchange individual experiences on the fundamentals of complex computational modelling.
Researchers interested in joining should contact @email
Thu, 15 May 2025
16:00
16:00
Lecture Room 4, Mathematical Institute
Sums along binary cubic forms
Mayank Pandey
(Princeton)
Abstract
We discuss ongoing work with Joseph Leung in which we obtain estimates for sums of Fourier coefficients of GL(2) and certain GL(3) automorphic forms along the values of irreducible binary cubics.
Lorentzian Gromov-Hausdorff convergence and pre-compactness
Mondino, A
Sämann, C
(14 Apr 2025)
Mon, 05 May 2025
16:00
16:00
L6
Modular arithmetic in the lambda-calculus
Maximilien Mackie
(University of Oxford)
Abstract
The lambda-calculus was invented to formalise arithmetic by encoding numbers and operations as abstract functions. We will introduce the lambda-calculus and present two encodings of modular arithmetic: the first is a recipe to quotient your favourite numeral system, and the second is purpose-built for modular arithmetic. A highlight of the second approach is that it does not require recursion i.e., it is defined without fixed-point operators. If time allows, we will also give an implementation of the Chinese remainder theorem which improves computational efficiency.
A freǐman-type theorem for locally compact abelian groups
Sanders, T
Annales de l'Institut Fourier
volume 59
issue 4
1321-1335
(01 Jan 2009)
Living with multimorbidity: Medical and lay healthcare approaches
Porter, T
Sanders, T
Richardson, J
Grime, J
Ong, B
International Journal of Clinical Rheumatology
volume 10
issue 2
111-119
(01 Jan 2015)
Thu, 19 Jun 2025
17:00
17:00
L3
Tame valued fields, partial quantifier elimination, and NIP transfer
Sylvy Anscombe
(Université Paris Cité)
Abstract
Work of Kuhlmann and coauthors has established AKE principles for tame and separably tame valued fields, extending for example the work of Delon on the narrower class of algebraically (or separable-algebraically) maximal Kaplansky valued fields. These principles, and their underlying methods, have had striking applications, for example to existential theories of henselian valued fields, the transfer of NIP from residue field to valued field, and the recent work of Jahnke and Kartas on theories of perfectoid fields. The "Generalized Stability Theorem" is even an ingredient in Temkin's inseparable local uniformization. In this talk I want to explain some extensions of the known AKE principles, and related partial results on relative quantifier elimination, all in various special cases. This includes work joint with Boissonneau, and work of Soto Moreno.