[ont.events] SYMBOLIC COMPUTATION SEMINAR

wlrush@water.waterloo.edu (Wenchantress Wench Wendall) (05/25/89)

DEPARTMENT OF COMPUTER SCIENCE
UNIVERSITY OF WATERLOO
SEMINAR ACTIVITIES

SYMBOLIC COMPUTATION SEMINAR

                    -Tuesday, May 30, 1989

Professor  John McKay of Concordia University Montreal,
will speak on "Computation of Galois Groups"

TIME:                 3:30 p.m.

ROOM:              MC 1304

ABSTRACT

I  shall discuss the developments of the past decade in
automating   the  computation  of  Galois  groups  from
polynomials  determining  splitting  fields.  The first
and  (to  date)  only implementation is Ron Sommeling's
code  on  maple.   If  time  permits,  I  shall  sketch
developments  in  solving  the  inverse problem:  Which
groups  are  realisable as Galois groups?  The computer
has played a critical role in this work.

wlrush@water.waterloo.edu (Wenchantress Wench Wendall) (06/15/89)

DEPARTMENT OF COMPUTER SCIENCE
UNIVERSITY OF WATERLOO
SEMINAR ACTIVITIES

SYMBOLIC COMPUTATION SEMINAR

                    -Tuesday, June 20, 1989

Dr. Manuel Bronstein, IBM Thomas-Watson Research Center, Yorkton Heights, N.Y. will speak on "An Overview of Symbolic Integration"

TIME:                 3:30 p.m.

ROOM:              DC 1304

ABSTRACT

We  describe the main lines of decision procedures that
determine   whether   an  elementary  function  has  an
elementary  antiderivative.  In particular, we show the
links  between  the  residues  of  a  complex algebraic
function and its integrability.