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