Alan Lauder's Web Page

I am a university lecturer in the Mathematical Institute, and the tutorial fellow in pure mathematics at Hertford College. My work is supported by a grant from the European Research Council.

My interests are in computational number theory, p-adic cohomology and modular forms. I can be contacted at "lauder" at "maths.ox.ac.uk".

I am a member of the Editorial Board of the Quarterly Journal of Mathematics.

I co-organised a conference on Effective methods in p-adic cohomology.

I co-organised a conference on Rational points on curves.

I have made some of my work available below.

Latest Papers:

• Efficient computation of Rankin p-adic L-functions, to appear in the proceedings of the Heidelberg conference "Computations with Modular Forms 2011". PDF

• Computations with classical and p-adic modular forms, LMS J. Comput. Math. 14 (2011) 214-231 PDF. (Freely available via JCM website.) Combined code for Algorithms 1 and 2 (arbitrary level) in SAGE: Alg1and2.sage. (A fully documented python version of this sage file: Alg1and2.py.) Combined code for Algorithms 1 and 2 (arbitrary level) in MAGMA: Alg1and2.m.

Expository Papers:

• Rationality and meromorphy of zeta functions, Finite Fields and Their Applications 11 (2005), 491-510. PDF
• Rigid cohomology and p-adic point counting, J. Theor. Nombres Bordeaux 17 (2005), no. 1, 169-180. Postscript
• Homotopy methods for equations over finite fields, in "Applied Algebra, Algebraic Algorithms and Error-Correcting Codes", Fossorier, Hoholdt and Poli (eds), LNCS 2643,18-24, 2003. Postscript

Research Publications:

• Degenerations and limit Frobenius structures in rigid cohomology, LMS J. Comp. Math. Vol. 14, 1-33, 2011. (Freely available via JCM website.) ARXIV
• Ranks of elliptic curves over function fields. LMS J. Comp. Math. Vol. 11, 172-212, 2008. Freely available at www.lms.ac.uk
• A recursive method for computing zeta functions of varieties, LMS J. Comp. Math. Vol. 9, 222-267, 2006. Freely available at www.lms.ac.uk
• (With F. Abu Salem and S. Gao) Factoring polynomials via polytopes, Proceedings of ISSAC (International Symposium on Symbolic and Algebraic Computation) 2004, Gutierrez (Ed), 4-11. postscript
• Counting solutions to equations in many variables over finite fields, Foundations of Computational Mathematics Vol. 4 No. 3, (2004), 221-267. Preprint/PDF
• Deformation theory and the computation of zeta functions, Proceedings of the London Mathematical Society, Vol. 88 Part 3, (2004), 565-602. Preprint/Postscript
• (With D. Wan) Computing zeta functions of Artin-Schreier curves over finite fields II, Journal of Complexity, Vol. 20 (2004), 331-349. Postscript
• Computing zeta functions of Kummer curves via multiplicative characters, Foundations of Computational Mathematics, Vol 3 No. 3, pages 273-295, 2003. Preprint/Postscript
• Zero-patterns of polynomials and convex polytopes, J. of Combinatorial Theory Series A, Vol. 102 (No.1), (2003), 10-15. Preprint/Postscript
• (With D.Wan) Computing zeta functions of Artin-Schreier curves over finite fields, London Mathematical Society JCM Volume 5, (2002), pp 34-55. Preprint/Postscript
• (With R.Brent and S.Gao) Random Krylov spaces over finite fields, SIAM J. on Discrete Mathematics, Vol. 16 No. 2, (2003), 276-287. Preprint/Postscript
• (With D.Wan) Counting points on varieties over finite fields of small characteristic, to appear in ``Algorithmic Number Theory: Lattices, Number Fields, Curves and Cryptography'' (Mathematical Sciences Research Institute Publications), J. P. Buhler and P. Stevenhagen (eds.), Cambridge University Press Preprint/Postscript (VERSION: OCTOBER 2002)
• (With S.Gao and E.Kaltofen) Deterministic distinct-degree factorisation of polynomials over finite fields, Journal of Symbolic Computation, Vol. 38 No. 6, (2004), 1461-1470. Postscript
• (With K.Paterson) Computing the error linear complexity spectrum of a binary sequence of period 2^n, IEEE Trans. Info. Theory Vol 49 No 1, (2003), 273-280. Preprint/Postscript
• (With S.Gao) Hensel lifting and bivariate polynomial factorisation over finite fields, Math. Comp. 71, No. 240, (2002), 1663-1676. Preprint/Postscript
• (With S.Gao) Decomposition of polytopes and polynomials, Discrete Comput. Geom 26, 89-104 (2001) Preprint/Postscript
• Continued fractions of Laurent series with partial quotients from a given set, Acta Arithmetica XC.3, 252-271 (1999) Preprint/Postscript
• Polynomials with odd orthogonal multiplicity, Finite Fields and Their Applications 4, 453-464 (1998) Preprint/Postscript
• Continued fractions and sequences, Ph.D. London University 1999 Postscript