30 Mar 2006; Mat-Nat Faculty (UiTø), room U7=A152. Thursday 10:15-12:00

Ian Anderson (Utah State University, USA).

"Symbolic Methods in Differential Geometry and Lie Groups".

In this talk I will present a survey of the MAPLE project DiffGeom - an extensive collection of packages for computations in differential geometry with an emphasis on applications arising from transformation groups and their applications to differential equations.

During the software demonstration we shall encounter applications to integrable systems, relativity theory, symbolic integration of ODEs, and exterior differential systems. We shall also see some very explicit examples of some famous existence theorems in differential geometry.

The software is downloadable from the web-page http://www.math.usu.edu/~fg_mp/. Audience requests for new applications and new functionality will be welcome!