Computer Algebra Working Group


University of Western Ontario
Applied Mathematics Department & Computer Science Department


Date: April - July 2003


This group meets every Wednesday at Middlesex College in room 316 at 1:00 PM. The main topics of our discussions are

  • fast algorithms for symbolic computations,
  • symbolic/numeric methods,
  • systems of algebraic and differential equations.
The presentations of this working group are of various forms
  • research presentation (a new result),
  • survey presentation (like during a course),
  • paper presentation (about a recent or important paper that would be of interest for the group),
  • work-in-progress presentation (something some of us are working on and for which they would like the opinion of the rest of the group).
The last format is especially meant to the attention of graduate students. Each meeting consists of one or more presentations. Everyone interested in our topics is very welcome to participate to this working group and give presentations.

In the table below, each title should point to an abstract or the full talk, if available.

Date Title Speaker
16 April 2003 talk 1+2 On van Hoeij and Monagan modular Cosmin Oancea and
algorithm for computing polynomial Marc Moreno Maza
gcds over algebraic number fields
23 April 2003 talk 1 Local stability of roots of polynomial systems François Lemaire
talk 2 Local stability of roots of polynomial systems (cntd) Greg Reid
30 April 2003 talk 1 On Collins modular algorithm for computing resultants PPT XLS Yuzhen Xie.
talk 2 Introduction to hybrid system through an example:
the two tanks problem Jean Della Dora
7 May 2003 talk 1 Global stability of roots of polynomial systems Hiroshi Kai
talk 2 Definition of hybrid systems Jean Della Dora
14 May 2003 talk 1 Dr Residual or How I learned to stop worrying
and love numerics - part I Rob Corless
talk 2 Dynamical properties of hybrid systems Jean Della Dora
21 May 2003 talk 1) Dr Residual or How I learned to stop worrying
and love numerics - part II Rob Corless
talk 2 Dr Modular or How I learned to stop worrying
and love symbolics - part I Marc Moreno Maza
28 May 2003 talk 1 Dr Residual or How I learned to stop worrying
and love numerics - part III PS MWS Rob Corless
talk 2 Homotopy (also called Continuation) methods
for solving Polynomial - part I David Jeffrey
4 June 2003 talk 1 Approximate symmetries of differential equations
and Numerical Jet Geometry PS Greg Reid
talk 2 Stability for Symbolic-Numeric Equation Solving
and Symmetry Analysis PS François Lemaire
11 June 2003 talk 1 Numerical Parametrization of Dhavide Aruliah
Affine Varieties Using ODEs
talk 2 Approximate Computation of a Pseudovariety Hiroshi Kai
talk 3 Solving Bivariate Polynomials by Eigenvalues Azar Shakoori
talk 4 QR Factoring for a Practical Approximate Rob Corless
GCD of Univariate Approximate Polynomials
18 June 2003 talk 1+2 Differential Inclusion, an introduction Jean Della Dora
25 June 2003 talk 1 Taylor Series Solution of ODE Rob Corless
(Analytic Continuation)
talk 2 Analytic solutions of PDEs systems François Lemaire
2 Jul 2003 talk 1+2 Dr Modular or How I learned to stop Marc Moreno Maza
worrying and love symbolics (part I)
9 Jul 2003 talk 1+2 Dr Modular or How I learned to stop Marc Moreno Maza
worrying and love symbolics (part II)
16 Jul 2003 talk 1+2 Dr Modular or How I learned to stop Marc Moreno Maza
worrying and love symbolics (part III)
23 Jul 2003 talk 1+2 Dr Modular or How I learned to stop Marc Moreno Maza
worrying and love symbolics (part IV)

These are links to some books and software related to the research activity of this working group.