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 (firstname.lastname@example.org) and Wolfram Koepf, Kassel (email@example.com).
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:
|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