Elizabeth Mansfield

Contact information page

I am now a Fellow of the Institute of Mathematics and its Applications.

I have just been elected to the London Mathematical Society Council.

Book on Moving Frames

My big project just finished is a book for Cambridge University Press, A Practical Guide to the Invariant Calculus. Thank you everyone for contributing the typos and other errors you found, in particular Tania Goncalves, Francis Valiquette, Evelyne Hubert, Peter Hydon and Peter Olver! Here are the Table of Contents and the first ``what's in this book" chapter.

The book is now available from CUP (above link), also Amazon

An errata page will appear soon :(

My two graduate students, Tania Goncalves and Jun Zhao successfully defended their PhD theses at the end of 2010, congratulations to them both! Even better, they are staying on in Kent for a while and we are all working on various projects. Here is a great photo of us at the FoCM '08 banquet in Hong Kong, where Jun, Tania and Andy Wheeler presented posters.

Current research funding :

Is an EPSRC grant, "Group actions on function approximation spaces". A description of the project is is here. I am working with Tristan Pryer on this grant.


Teaching

I masterminded our MSc in Mathematics and its Applications which has its first cohort of students this year. Designed to be accessible, relevant, interesting and to foster creativity and communication skills, students choose from 11 options and take 2 compulsory project modules.

This year I am teaching on MA593/MA561 Lie groups and algebras, and Multi variable calculus. Every other year I teach Mathematics and Music, which involves Chladni patterns on drums, digital signal processing ie recording music, and the next time I do it, music composition.


Professional Activities

I have been elected to the Council of the London Mathematical Society, for two years, from November, 2011.

I sit on the Research Committee of the Institute of Applied Mathematics.

I am Vice Chair of ACM's SIGSAM, Special Interest Group in Symbolic and Algebraic Manipulation. I am on the Steering Committee and the Program Committee of ISSAC 2010 which is the annual conference associated with SIGSAM.

I am currently on the EPSRC Strategic Advisory Team for the mathematics program.

I am a board member for the Society for the Foundations of Computational Mathematics. I co-organised the Symbolic Analysis Workshop of three (!) FoCM conferences.

Last year I was part of the official delegation of the London Maths Society to the International Congress of Mathematics in Hyderabad, India.

Editorial Advisory Boards

I am on the editorial advisory boards of Journal of Computation and Mathematics and Foundations of Computational Mathematics.

Research

Research Interests:
My research is the development of algorithms for Analysis, in the context of symbolic computation and increasingly numerical computation; recent papers are on various forms of the discrete variational calculus and moving frames. The mathematics that I use comes from commutative algebra, differential geometry, variational calculus, integrable systems and geometric integration.

2010 conferences

At the ICMS, Edinburgh, Numerical Solution of the Painleve equations

In Amsterdam, Applied Geometric Algebras in Computer Science and Engineering

In Munich, ISSAC 2010 I was on the programme committee.

In Hyderabad, ICM where I was a delegate of the LMS.

In Brisbane, the Australian maths Society conference where I was a plenary speaker.

2011 conferences

In Linz, Austria, DEAM2

In Budapest, Hungary, the FOCM 2011 was as fabulous as usual. I was involved in the Symbolic Analysis workshop.

I organised a mini-symposium at Equadiff with Snorre Christiansen on Geometric algorithms for partial differential equations.

In Montreal, I attended the Workshop on Moving frames in Geometry.

2012 conferences

Symmetries of Differential Equations: Frames, Invariants and Applications A conference in honor of the 60th birthday of Peter Olver May 17-19, 2012 (Thursday-Saturday).

Boundary Value Problems for linear elliptic and integrable PDEs Edinburgh (UK) in the week May28-June1 2012.

International Symposium on Symbolic and Algebraic Computation (ISSAC) Grenoble, 22-25 July, 2012.

Just finished Research Funding
My previous EPSRC grant, "Symmetric variational problems", which funded Tania and Jun, is now just finshed. A brief description is here

Packages

diffgrob2 is a MAPLE package to simplify overdetermined systems of nonlinear differential equations of polynomial type. The algorithms are based on those by Buchberger for a Gröbner basis of a polynomial ideal. This package is no longer being maintained and is not at present available for public use. Packages which perform related functions are Maple's diffalg package maintained by Evelyne Hubert, and the Maple package rif which is available from Allan Wittkopf's home page.

The MAPLE package Indiff is now available. This is a set of functions designed to calculate reductions and compatibility conditions of systems of equations referred to a moving frame. The theory is discussed in " Algorithms for symmetric differential systems", J. Foundations of Comp. Math.,1 (2001) 335-383. The Short Manual contains installation instructions for UNIX, a guide to the procedures and three worked examples. There are two versions of the code, a readlib version and a version suitable for generic platforms (non readlib version, ie, maple just reads the file in whole, and you don't use the with command). I currently have this working for Maple 9. The Maple worksheets for the examples in the manual are for invariant differentation, an over determined system, and a classification problem.

Recent talks and currently available titles.

On the mathematics of handwriting recognition.

Noether's Second Theorem for smooth and discrete systems.

Digital Atlases and Difference Forms Plenary talk at ISSAC '08, Linz.

Discrete Variational Methods Plenary talk at FoCM, Santander.

Moving Frames and Noether's Theorem, and/or invariant ODE and/or curvature flows.

Discrete gradients

Moment maps for discrete symplectic mappings. Available from the Isaac Newton Institute website, Discrete Integrable Systems and Special Functions workshop.

On a variational complex for difference systems

Towards a variational complex for finite element systems

A simple criterion for involutivity


Selected interesting papers

Extensions of Noether's Second Theorem: from continuous to discrete systems with Peter Hydon. To appear in Proceedings of the Royal Society.

On Moving Frames and Noether's Theorem with Tania Goncalves. To appear in Studies in Applied Mathematics.

Discrete variational calculus for B-spline Approximated Curves with Jun Zhao.

Noether's Theorem for Smooth, Difference and Finite Element Systems , in FoCM Santander 2005. Eds: Pardo, Pinkus, Suli and Todd. CUP 2006.

A variational complex for difference equations with Peter Hydon (Surrey). Now available from Journal of Foundations of Computational Mathematics.

Towards a variational complex for the Finite Element Method with Reinout Quispel (LaTrobe). In a CRM Proceedings for the workshop on Group Theory and Numerical Analysis

Difference Forms with Peter Hydon, Journal of Foundations of Computational Mathematics.

Evolution of Curvature Invariants and Lifting Integrability, with Peter van der Kamp, Journal of Geometry and Physics

Symmetry Group Analysis of the Shallow Water and Semi-Geostrophic Equations with Nicoleta Bila and Peter Clarkson, in Quarterly Journal of Mechanics and Applied Mathematics

Thesis

Since I am still receiving requests for my PhD thesis, Differential Groebner Bases here it is! Many thanks to Katya Krupchyk for making this TeX version possible. Please note this is an historical document (submitted 1991) and appears here without amendment, with the exception that Chapter 6 is not included, since it was published in its entirety (A Simple Criterion for Involutivity, Journal of the London Mathematical Society, 54, pages 323-345, 1996). Superceded computer code is also not included.


Return to the IMS home page.