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.

• The Modern Computer Algebra book
• Conferences on Computer Algebra and related topics
• MEGA 2003
• ISSAC 2003
• ACA 2003