**Foundations of Computational Mathematics
Conference**

**
Santander, 30 June - 9 July 2005
**

**
The symbolic analysis workshop will be during the Monday 4th
July - Wednesday 6th July period of this conference.
**

At the workshop we wish to discuss applications of symbolic computations, algorithms and their implementations to analysis. The focal point of the workshop will be on algorithmic methods for differential equations including symbolic integration, equivalence methods, differential invariants and conservation laws, monodromy, Lie symmetry, differential Galois theory, symbolic-numeric techniques, involutivity, and more!!

Methods in algebra and geometry are important for the development of such algorithms, and the expertise of the speakers will be rather wide-ranging.

For this reason talks can not be overly technical; the emphasis will be on communicating ideas and techniques to a broadly based audience.

**Speakers:**

Evelyne Hubert |
Semi-plenary speaker |

Rational and Replacement Invariants of a Group Action | |

Werner Seiler |
Semi-plenary speaker |

Vessiot Theory of Differential Equations | |

Jacques Sauloy |
Semi-plenary speaker |

Explicit invariants for linear q-difference equations | |

Mohamed Barakat | An abstract MAPLE-package for homological algebra |

Irina Kogan | Group-Invariant Moving Frames: |

Symbolic Computation and Applications. | |

Jukka Tuomela | Elliptic boundary problems and Shapiro-Lopatinskij condition |

Peter Hydon | Symmetries of initial-value problems |

Thomas Wolf | Some Symmetry Classifications of |

Hyperbolic Vector Evolution Equations | |

Roman Smirnov | Superintegrability of the Calogero-Moser Model |

via Invariant Theory and Symbolic Analysis | |

Marko Petkovsek | Solution Spaces of Hypergeometric Systems and |

and the Structure of Hypergeometric Terms | |

Markus Rosenkranz | Linear Two-Point Boundary Value Problems |

in Symbolic Computation: A New Approach | |

Anton Leykin | Deflation of polynomial systems at isolated solutions |

Sebastian Gann | Dividing fairly: Division of polynomials and power series |

by linear differential operators | |

Francisco Castro Jimenez | Cohomological questions in Computational D-module Theory |

Greg Reid | Progress on Methods for Symbolic and Numeric |

Elimination Methods for Differential Systems |

**Organisers:**

Elizabeth Mansfield |

Peter Olver |

Michael Singer |

Page maintained by Elizabeth Mansfield. Updated 18 May, 05.