Trouble sleeping? 😴
We are recruiting for a new sleep study! If you are aged 23–65, live and work in Oxford, spend your workday sitting indoors at a desk, and use an iPhone, you may be eligible.
Start by taking our screening survey: https://ecsm.fra1.qualtrics.com/jfe/form/SV_42uw0MX5qR3zASW
Fridays@2 is back in L1 this week with: Dealing with Exam Anxiety (https://www.maths.ox.ac.uk/node/71471)
Past Papers can be found on the Mathematical Institute website here.
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
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.
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.
Here are a few resources which may help: