Symbolic Computation Group

David R. Cheriton School of Computer Science
University of Waterloo, Waterloo, Ontario, Canada

MITACS Seminar Series/ORCCA Joint Lab Meeting Talks

These talks were given at the joint lab meetings of the Symbolic Computation Group of the University of Waterloo and the Symbolic Computation Laboratory of the University of Western Ontario.

The talks make up the MITACS Seminar Series on the Mathematics for Computer Algebra and Analysis (MOCAA), a seminar series is supported by the MITACS NCE of Canada.


2016

Friday, March 18, 2016, at Western University
Creative Telescoping: Theory and Algorithms
Shaoshi Chen, Academy of Mathematics and Systems Sciences, Chinese Academy of Sciences

Friday, February 12, 2016, at the University of Waterloo
The Largest Roots of the Mandelbrot Polynomials
Robert Corless, Western University

2015

Friday, February 6, 2015, at the University of Waterloo
Analytic and Probabilistic Combinatorics for Polynomials over Finite Fields
Daniel Panario, Carleton University

2014

Friday, November, 7, 2014, at Western University
Invariants of Finite Abelian Groups and their use in Symmetry Reduction of Polynomial Systems
George Labahn, University of Waterloo

Friday, October, 10, 2014, at University of Waterloo
Cleaning-up Data With Errors: When Symbolic-Numeric Sparse Interpolation Meets Error-Correcting Codes
Erich Kaltofen, North Carolina State University

2013

Friday, May, 31, 2013, at University of Waterloo
Generating safe primes and safe modulii
Joachim von zur Gathen, University of Bonn

Friday, May, 31, 2013, at University of Waterloo
On the Integrability and Summability of Bivariate Rational Functions
Shaoshi Chen, Dept. Math., North Carolina State University

Friday, March, 8, 2013, at University of Western Ontario
Recent advances on the theory of regular chains
Changbo Chen, University of Western Ontario

2012

Thursday, Dec, 6, 2012, at Maplesoft
Approaching Program Analysis via Computer Algebra
Rong Xiao, Western University

Friday, Nov, 9, 2012, at U. of Western Ontario
Basic Theory and Algorithm of Numerical Factorization of Polynomials
Wenyuan Wu, Chongqing Institute of Green and Intelligent Technology, Chinese Academy of Sciences

Friday, Oct, 12, 2012, at U. of Waterloo
Small Homogeneous Quandles
James McCarron, Maplesoft

Friday, Sept, 14, 2012, at U. of Western Ontario
The largest magnitude eigenvalues of Mandelbrot matrices
Rob Corless, University of Western Ontario

Friday, June, 14, 2012, at U. of Waterloo
Leading Flying Objects
Stephen M. Watt, Distinguished Professor at Western University and Lead Director, Descartes Systems Group

Friday, May 11, 2012, at Wilfrid Laurier University
Divisors of terms of recurrence sequences
Cameron Stewart, CRC Chair in Number Theory, University of Waterloo

Friday, May 11, 2012, at Wilfrid Laurier University
New features in Maple 16
Juergen Gerhard, Director of Research, Maplesoft

Friday, March 9, 2012, at U. of Waterloo
Relaxed Hensel lifting for algebraic systems
Romain Lebreton, Ecole Polytechnique, Paris, France

Friday, March 9, 2012, at U. of Waterloo
From structured theories to efficient code in 6 easy steps
Jacques Carette, McMaster University

Friday, March 9, 2012, at U. of Waterloo
Moving Frames
Elizabeth Mansfield University of Canterbury, Kent, England

2011

Friday, Nov 4, 2011, at U. of Western Ontario
L1, a quasi-linear LLL algorithm
Andy Novocin, University of Waterloo

Friday, Sep 16, 2011, at U. of Waterloo
Exact Linear Algebra in LinBox, a status report
B. David Saunders, University of Delaware, USA

Friday, May 13, 2011, at U. of Waterloo
Automatic Proofs of Identities
Bruno Salvy, Projet ALGO, INRIA Rocquencourt, France

Friday, Mar 11, 2011, at U. of Western Ontario
Computing with hyperplane arrangements
Graham Denham, University of Western Ontario

Friday, Jan 14, 2011, at U. of Western Ontario
On Beauty: Rounding Coefficients and Underflowing Terms in Generalized Polynomials
Erik Postma, Maplesoft

2010

Friday, Dec 10, 2010, at U. of Waterloo
Building Parallelism into a Memory Management System
Jason Selby, Maplesoft Inc. and the University of Waterloo

Friday, Nov 12, 2010, at U. of Western Ontario
An Example of Large Scale Online Ad Auction Analysis with MapReduce Lite
Oleg Golubitsky, Google, Inc.

Friday, Oct 8, 2010, at U. of Western Ontario
Algorithms for Additive and Projective Polynomials
Mark Giesbrecht, University of Waterloo, Canada

Friday, Sep 10, 2010, at U. of Waterloo
Census of polynomials
Joachim von zur Gathen, B-IT, University of Bonn, Germany

Friday, Feb 12, 2010, at U. of Western Ontario
Leveraging Symbolic Computation on Matrices and Piecewise Functions
Alan P. Sexton, University of Birmingham, UK

Friday, Jan 22, 2010, at U. of Waterloo
Integrating Formal Proofs with Software using Dependent Type Theory
Russel O'Connor, McMaster University

2009

Friday, Nov 13, 2009, at U. of Western Ontario
A Skew Polynomial Approach to Integro-Differential Operators
J. Middeke, Johannes Keppler University, Linz, Austria

Friday, Oct 9, 2009, at Maplesoft Inc.
Solving Polynomial Systems by the homotopy continuation method
T. Y. Li, Department of Mathematics Michigan State University, USA

Friday, May 29, 2009, at U. of Waterloo.
Modern Mechanized Mathematics
Jacques Carette, McMaster University, Canada

Friday, Mar 13, 2009, at U. of Western Ontario.
Differentiating between Algebra and Analysis
James Davenport, University of Bath, United Kingdom

Friday, Feb 12, 2009, at U. of Waterloo.
What Can Symbolic Computation Do For Programming Languages?
Gabriel Dos Reis, Texas A&M, USA

Friday, Jan 16, 2009, at U. of Western Ontario.
Generating Efficient Numerical Evaluation Routines for Bivariate Functions via Tensor Product Series
Keith Geddes, Cheriton School of Computer Science, University of Waterloo

2008

Thursday, Dec 4, 2008, at MapleSoft, Waterloo, Ontario.
Symbolic Computing for Physical Modeling
Laurent Bernadin, Vice President Research and Development, Maplesoft

Friday, Nov 14, 2008, at U. of Western Ontario.
On polynomials attached to curves
François Morain, Ecole Polytechnique, France.

Friday, Oct 10, 2008, at U. of Waterloo.
The intersection of subfields of K(x)
Michael Zieve, Institute for Advanced Study, Princton, USA.

May 6-9, 2008: The Joint Lab Meeting was part of the
MOCAA M^3 Workshop,
held at the University of Western Ontario.

Friday, March 14, 2008, at U. of Western Ontario.
Adaptive Polynomial Multiplication
Daniel Roche, University of Waterloo.

2007

Thursday, November 8, 2007, at U. of Waterloo.
Program Verification by using DISCOVERER
Bican Xia, Peking University.

Friday, October 12, 2007, at U. of Western Ontario.
PAF/NPAF, string sorting and an open problem in Orthogonal Designs
Ilias Kotsireas, Wilfrid Laurier University.

Friday, September 14, 2007, at U. of Waterloo.
Notes about the Matrix Lambert W Function
David Jeffrey, University of Western Ontario.

Friday, March 9, 2007, at U. of Waterloo.
Abstract Matrices in Symbolic Computation
Volker Sorge, University of Birmingham, United Kingdom

Friday, February 9, 2007, at U. of Western Ontario.
Matrix multiplication based computations of the characteristic polynomial
Clement Pernet, University of Waterloo.

2006

Friday, December 15, 2006, at Maplesoft, Waterloo, Ontario.
Explorations in characterizing mathematical handwriting
Bruce Char, Drexel University, Philadelphia, USA.

Friday, November 3, 2006, at U. of Western Ontario.
Generating Symmetric FFT Algorithms
Jeremy Johnson, Drexel University, Philadelphia, USA.

Friday, October 13, 2006, at U. of Waterloo.
Effective representation of rankings on partial derivatives
Oleg Golubitsky, University of Western Ontario.

Friday, June 9, 2006, at U. of Waterloo.
Symbolic Computation versus Computer Algebra
Stephen M. Watt, University of Western Ontario.

Thursday, May 11, 2006, at U. of Western Ontario.
Handwriting Interface to Mathematical Expressions
Masakazu Suzuki, Kyushu University.

April 10-12, 2006: The Joint Lab Meeting was part of the
Waterloo Workshop on Computer Algebra,
held at Wilfrid Laurier University in honour of Sergei Abramov.

Thursday, March 9, 2006, at U. of Waterloo.
MITACS Projects at Simon Fraser University
Michael Monagan, Centre for Experimental and Constructive Mathematics, Simon Fraser University.

Thursday, February 9, 2006, at U. of Western Ontario.
Algebra and Algorithms for Invariants and Differential Systems
Evelyne Hubert, INRIA Sophia, France.

Thursday, January 12, 2006, at U. of Western Ontario.
On the Development of Some (hopefully) Fast Algorithms for Solving Polynomial Systems
Eric Schost, Ecole Polytechnique, France.

2005

Friday, December 9, 2005, at Maplesoft, Waterloo, Ontario.

Friday, November 11, 2005, at U. of Western Ontario.
Linear Algebra in Maple
Rob Corless, University of Western Ontario.

Friday, October 14, 2005, at U. of Waterloo.
An interface to link the LinBox Library to Maple
Pascal Giorgi, University of Waterloo.

Friday, September 9, 2005, at U. of Western Ontario.
On the complexity of change of order
Eric Schost, Ecole Polytechnique, France.

Friday, June 3, 2005, at U. of Waterloo.
Taming Apparent Singularities via Ore Closure
Marni Mishna, The Fields Institute.

Friday, April 8, 2005, at U. of Western Ontario.
Languages for High Performance Parallel Scientific Computing
A. D. Kennedy, University of Edinburgh.

Friday, February 11, 2005, at U. of Waterloo.
Maple 10 - Harnessing the Power of Mathematics
Juergen Gerhard, Maplesoft.

Friday, January 14, 2005, at U. of Western Ontario.
MathScheme: A New Approach to Mechanized Mathematics
William M. Farmer, McMaster University.

2004

Tuesday, December 14, 2004, at U. of Waterloo.
Equiprojectable decomposition of zero-dimensional varieties
Marc Moreno Maza, University of Western Ontario.

Friday, November 12, 2004, at U. of Western Ontario.
Engineered algorithms in Linear Algebra
David Saunders, University of Delaware.

Friday, October 8, 2004, at U. of Waterloo.
Odd Perfect Numbers
Kevin Hare, University of Waterloo.

Friday, September 10, 2004, at U. of Western Ontario.
Using Newton Sums in Small Characteristic
Eric Schost, Ecole Polytechnique, France.

Friday, June 4, 2004, at U. of Waterloo.
The State of Maple Numerics
David Linder, Maplesoft

May 2004:
In place of the Joint Lab Meeting, the following events were held in Waterloo/London:

Friday, April 2, 2004, at U. of Western Ontario.
On Polynomial Gcds over Direct Product of Fields
Marc Moreno Maza, University of Western Ontario.

Friday, March 5, 2004, at U. of Waterloo.
The use of inequalities to solve large systems of equations
Thomas Wolf, Brock University.

Friday, February 13, 2004, at U. of Western Ontario.
Modular Factoring of Linear ODEs
Mark Giesbrecht, University of Waterloo.

Friday January 9, 2004, at U. of Waterloo.
Maple development at Maplesoft: Present and Future
Laurent Bernardin, Maplesoft.

2003

Friday, December 5, 2003, at U. of Western Ontario.
Multivariate skew-polynomial rings
Manuel Bronstein, INRIA Sophia-Antipolis, France.

Friday, November 7, 2003, at U. of Waterloo.
Rational Reconstruction
Michael Monagan, Simon Fraser University.

Friday, October 3, 2003, at U. of Western Ontario.

Friday, September 12, 2003, at U. of Waterloo.
Bi-linear algebraic systems - how they arise and how to approach them
Thomas Wolf, Brock University.

Friday, June 13, 2003, at U. of Waterloo.
High-level Proofs of Mathematical Programs Using Automatic Differentiation, Simplification, and some Common Sense
Richard Fateman, University of California, Berkeley.

Friday, May 9, 2003, at U. of Western Ontario.
A Journey Through an Improbable Land - Tour from I.Newton to I.Tel
Jean Della Dora, LMC-IMAG Grenoble.

Friday, March 7, 2003, at U. of Waterloo.
Standard bases in bifurcation theory
Karin Gatermann, University of Western Ontario.

Friday, February 7, 2003, at U. of Western Ontario.
On the structure of multivariate hypergeometric terms
Marko Petkovsek, University of Ljubljana, Slovenia.

Friday, January 10, 2003, at U. of Waterloo.
Closure, continuity, conditioning and correctness
Rob Corless, University of Western Ontario.

2002

Friday, December 6, 2002, at U. of Western Ontario.
Linear differential equations in exponential extensions
Anne Fredet, Laboratoire GAGE, Ecole Polytechnique, France.

Friday, October 4, 2002, at U. of Western Ontario.
Homotopy explorations in Maple
David Jeffrey, University of Western Ontario.

Friday, September 13, 2002, at U. of Waterloo.

Friday, July 26, 2002, at U. of Western Ontario.
Matrices for the sparse resultant
Ioannis Z. Emiris, INRIA Sophia-Antipolis, France.

Friday, June 7, 2002, at U. of Waterloo.

Friday, May 3, 2002, at U. of Waterloo.

Friday, April 5, 2002, at U. of Western Ontario.
Algorithms and Computer Algebra Library for the Construction of Minimal Telescopers for Summation
Ha Le, University of Waterloo.

Friday, March 8, 2002, at U. of Waterloo.

Friday, February 8, 2002, at U. of Western Ontario.
High-Order Lifting
Arne Storjohann, University of Waterloo.

2001

Friday, December 7, 2001, at U. of Western Ontario.
The early termination strategies in sparse interpolation and sparse shift algorithms
Wen-shin Lee, University of Waterloo.

Friday, November 2, 2001, at U. of Waterloo.

Friday, October 5, 2001, at U. of Western Ontario.
Maplets
Aaron Bruce, Maplesoft.

Friday, September 7, 2001, at U. of Waterloo.

Main Presentation:
Tensor Algebra, Notation, and Finite Groups
Gerrard Liddell, University of Otago, New Zealand.

Brief Talks:
  • Integral representation and combinatorial summation
    Eugene Zima, University of Waterloo.
  • On detecting relatively prime numerical polynomials
    Claude-Pierre Jeannerod, University of Waterloo.
  • Algorithm for computing the nearest singular polynomials
    Lihong Zhi, University of Western Ontario.

Friday, June 29, 2001, at U. of Western Ontario.
  • Development Plans for Maple 8
    Jacques Carette, Maplesoft.
  • Monodromy of a Riemann surface and absolute factorization of polynomials
    Andre Galligo, University of Nice, France.

Friday, June 8, 2001, at U. of Waterloo.

Main Presentation:
Decomposition Solutions Sets of Polynomial Systems with Homotopies
Jan Verschelde, University of Illinois at Chicago.

Brief Talks:
  • Meta style sheets for the conversion of mathematical documents into other forms
    Bill Naylor, University of Western Ontario.
  • Integration and Summation
    Yury Brychkov, University of Waterloo.
  • Calculating Double Integrals of Singular Functions via Tensor Product Approximation in L^1
    Fred Chapman, University of Waterloo.

Thursday, May 10, 2001, at U. of Western Ontario.

Main Presentation:
SNAP & Self Intersections of Parametrized Surfaces
Andre Galligo, University of Nice, France.

Other Talks:
  • A Direct Algorithm to Construct Zeilberger's Recurrences for Rational Functions
    Ha Le, University of Waterloo.
  • Integration of Jacobi Elliptic Functions
    Joshua Tam, University of Waterloo.
  • Random Symbolic Numeric Methods
    Greg Reid, University of Western Ontario.
  • Symbolic Circuit Analysis
    Xiaofang Xie, University of Western Ontario.

Friday, April 6, 2001, at U. of Waterloo.

Main Presentation:
Symbolic Linear Algebra
Arne Storjohann, University of Western Ontario.

Brief Talks:
  • Decision Procedures for Linear ODEs having Doubly Periodic Coefficients
    R. Burger, University of Waterloo.
  • Implementing a numerical coprime function
    Claude-Pierre Jeannerod, University of Waterloo.

Friday, March 2, 2001, at U. of Western Ontario.
Computational Logic
Ursula Martin, University of St. Andrews, UK.

Friday, February 2, 2001, at U. of Waterloo.

Main Presentations:
  • RationalNormalForms package and minimal representation of hypergeometric terms in one variable
    Ha Le, University of Waterloo.
  • What is a hypergeometric term in two variables?
    Sergei Abramov, Moscow State University, Russia.
Brief Talks:
  • Computing all factorizations in Z_N[x]
    Howard Cheng, University of Waterloo.
  • Symbolic Circuit Analysis in Maple
    Xiaofang Xie, University of Western Ontario.
  • Mark and sweep garbage collection in Maple
    Stephen Watt, University of Western Ontario.

Friday, January 5, 2001, at U. of Western Ontario.

Main Presentation:
Expressions as Functions
Jacques Carette, Maplesoft.

Brief Talks:
  • MathML 2.0
    Stephen Watt, University of Western Ontario.
  • Factorization of Ore Operators
    Mark Giesbrecht, University of Western Ontario.
  • Integration of Elliptic Functions
    George Labahn, University of Waterloo.

2000

Friday, December 1, 2000, at U. of Waterloo.
  • An Application of Maple in Engineering
    John McPhee, Systems Design Engineering, University of Waterloo.
  • Sparse Resultants of Composed Polynomials
    Manfred Minimair, North Carolina State University

Friday, November 3, 2000, at U. of Western Ontario.

Main Presentation:
Solving BVPs with bvp4c
Xianping Liu, University of Waterloo.

Brief Talks:
  • Differential Operators
    Mark Giesbrecht, University of Western Ontario.
  • Generalized Companion Matrices
    Gurjeet Litt and Rob Corless, University of Western Ontario.

Friday, October 6, 2000, at U. of Waterloo.
  • Halley iteration
    David Jeffrey, University of Western Ontario.
  • Implicitization, and comments on the LinearAlgebra Package
    Ilias Kotsireas, University of Western Ontario.

Friday, July 21, 2000, at U. of Waterloo.
  • Incorporation of NAG routines into Maple's numerical integration
    Xianping Liu and Keith Geddes, University of Waterloo.
  • Maple's Orthoseries Package
    Luc Rebillard, University of Waterloo.

 

Last modified on Sunday, 20 March 2016, at 15:58 hours.