Seminar series
Date
Thu, 16 Jun 2022
Time
16:00 -
17:00
Location
L4
Speaker
Jonathan Pila
Organisation
University of Oxford
In joint work with Jacob Tsimerman we study when the primitive
of a given algebraic function can be constructed using primitives
from some given finite set of algebraic functions, their inverses,
algebraic functions, and composition. When the given finite set is just {1/x}
this is the classical problem of "elementary integrability".
We establish some results, including a decision procedure for this problem.