Session Computer Algebra and Computer Analysis
at the
3rd International ISAAC Congress, Berlin, Germany
2025 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 2025 August 2001,
see http://www.math.fuberlin.de/~isaac.
The Second Announcement with further information and a registration
form can be obtained from
http://www.mathematik.unikassel.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.unikassel.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:0010:00 
Plenary Lecture: Michael
Singer,
(Raleigh, NC, USA): Galois theory
of linear differential equations with applications to Hamiltonian mechanics 
Plenary Lecture 
10:1511:15 
Plenary Lecture 
Plenary Lecture 
11:4512:30 
Jan Sanders (Amsterdam, The
Netherlands):
The classification of integrable evolution
equations using number theory 

12:3014:00 
Lunch Break 
Lunch Break 
14:0014: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:5015: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:2515: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:0016:35 
Coffee Break 
Coffee Break 
16:3517: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:1017:40 
Theodore Nikitopoulos
(University of Crete):
Molecular conformation
search by matrix perturbations 
Gerrard Liddell
(University of Otago, New Zealand):
Canonicalization of tensor expressions 
17:4518: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