Session Computer Algebra and Computer Analysis
at the 
3rd International ISAAC Congress, Berlin, Germany
20-25 August 2001.

Photo of the session participants
Photo of the plenary speaker Michael Singer
Conference Photo (1347 kB)

We would like to announce the session Computer Algebra and Computer Analysis of the 3rd International ISAAC Congress (ISAAC = International Society for Analysis, Applications and Computing; this NOT the ISSAC!) which will take place in Berlin from 20-25 August 2001, see http://www.math.fu-berlin.de/~isaac.

The Second Announcement with further information and a registration form can be obtained from http://www.mathematik.uni-kassel.de/~koepf/ISAAC2001/secannounce.html.

The meeting offers sessions in a wide variety of topics primarily circling around applied analysis. Session VII.4 is devoted to Computer Algebra and Computer Analysis, and will be organized by Karin Gatermann, Berlin (gatermann@zib.de) and Wolfram Koepf, Kassel (koepf@mathematik.uni-kassel.de).

Researchers in analysis often are not familiar with computer algebra or find its use unsuitable for their work. In contrast, we believe that computer algebra can be a very stimulating research tool in analysis. Therefore we would like to put a session program together which is an advertisement for our field, and which presents applications of computer algebra to topics relevant for analysis.

In connection with our session Michael Singer (Raleigh, NC, USA) will present a Plenary Lecture at the conference on the Galois theory of linear differential equations with applications to Hamiltonian mechanics.

The following speakers have confirmed to present keynote lectures in our session:

Tentative schedule for our session:
 
  Thursday, August 23, 2001 Friday, August 24, 2001
09:00-10:00 Plenary Lecture: Michael Singer, (Raleigh, NC, USA): Galois theory of linear differential equations with applications to Hamiltonian mechanics Plenary Lecture
10:15-11:15 Plenary Lecture Plenary Lecture
11:45-12:30 Jan Sanders (Amsterdam, The Netherlands): The classification of integrable evolution equations using number theory  
12:30-14:00 Lunch Break Lunch Break
14:00-14:45 Elizabeth Mansfield (Canterbury, Great Britain): Algorithms for symmetric differential systems Werner Seiler (Mannheim, Germany): Completion to involution and the numerical integration of general systems of PDEs
14:50-15:20 Evelyne Hubert (Sophia Antipolis, France): Resolvent representation of differentially triangular systems James Murdock (Ames, Iowa, USA): An algorithm to produce normal form modules
15:25-15:55 Felix Ulmer (Rennes, France): Methods to compute properties of the differential Galois group of a given linear differential equation Ilias Kotsireas (London, Ontario, Canada): Symbolic and numeric implicitization of parametric curves, surfaces and hypersurfaces
16:00-16:35 Coffee Break Coffee Break
16:35-17:05 Fritz Schwarz (St. Augustin, Germany): Equivalence classes and symmetries of linear third order differential equations Amparo Gil, Javier Segura (Madrid, Spain, currently Kassel, Germany): Computation of zeros and turning points of special functions
17:10-17:40 Theodore Nikitopoulos (University of Crete): Molecular conformation search by matrix perturbations Gerrard Liddell (University of Otago, New Zealand): Canonicalization of tensor expressions
17:45-18:15 Sonnhard Graubner (Wittgensdorf, Germany): A special triangle Karin Gatermann (Berlin, Germany): Applications of SAGBI bases to dynamics

The participants are invited to submit their papers for a Special Issue on Computer Algebra and Computer Analysis of the Journal of Symbolic Computation, edited by Karin Gatermann and Wolfram Koepf.

Karin Gatermann and Wolfram Koepf