Symbolic Computation Group
David R. Cheriton School of Computer Science


MITACS Seminar Series/ORCCA Joint Lab Meeting TalksThese 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. 2023Friday, March 31, 2023, at the University of WaterlooThe Future of Formalized Mathematics Florian Rabe, FriedrichAlexanderUniversity ErlangenNuremberg 2022Friday, October 28, 2022, at Western UniversityHybrid Algorithms for Sparse Polynomial System Solving Taylor Brysiewicz, Western University, Mathematics Department Friday, April 22, 2022, virtual meeting on Zoom Bohemian Matrix Geometry Robert Corless, Western University 2020Friday, December 18, 2020, virtual meeting on ZoomGeneric bivariate multipoint evaluation, interpolation and modular composition with precomputation Vincent Neiger, University of Limoges, France Friday, October 16, 2020, virtual meeting on Zoom Practice presentations for the upcoming Maple Coference 2020 2019Friday, March 8, 2019, at the University of WaterlooProbabilistic Algorithms for Normal Bases Armin Jamshidpey, University of Waterloo 2018Friday, November 16, 2018, at Western UniversityFactorization of linear partial differential operators acting on geometric objects Ekaterina Shemyakova, University of Toledo, Ohio, USA Friday, May 25, 2018, at Western University Error Estimation for Linear ODE and its Optimal Solution Wenyuan Wu, Chinese Academy of Sciences Counting Partitions Inside A Rectangle Steven Melczer, University of Pennsylvania Mapping Criteria of NonlocalitySteerability and SteerabilityEntanglement Changbo Chen, Chinese Academy of Sciences 2017Tuesday, December 12, 2017, at the University of WaterlooOn Soft Geometric Computation Chee Yap, Department of Computer Science, New York University Friday, June 9, 2017, at Western University Computing the Integer Points of a Polyhedron RuiJuan Jing, KLMM, UCAS, Academy of Mathematics and Systems Science, Chinese Academy of Sciences CARGO Lab 15Year Event Friday, March 31, 2017, at Wilfrid Laurier University The trace test in numerical algebraic geometry Frank Sottile, Texas A&M, College Station, USA What's New in Maple 2016 Jürgen Gerhard, Senior Director of Research, Maplesoft 201620 Years of Lambert W Lecture SeriesWednesday, November 30, 2016, at Western University The Lambert W Function in Ecological and Evolutionary Models Jussi Lehtonen, Evolution and Ecology Research Centre, School of Biological, Earth and Environmental Sciences, University of New South Wales Monday, December 5, 2016, at Western University Challenges in Multivalued Matrix Functions Nicholas J. Higham, University of Manchester, School of Mathematics Friday, December 9, 2016, at Western University Exponential Polynomials and Generalized Lambert W Function Aude Maignan, University Grenoble Alpes, France, Laboratory of Applied Mathematics and Computer Science Friday, October 14, 2016, at Western University Computing limits of real multivariate rational functions: around and beyond the case of an isolated zero of the denominator Mahsa Kazemi, Western University 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 2015Friday, February 6, 2015, at the University of WaterlooAnalytic and Probabilistic Combinatorics for Polynomials over Finite Fields Daniel Panario, Carleton University 2014Friday, November, 7, 2014, at Western UniversityInvariants 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 Cleaningup Data With Errors: When SymbolicNumeric Sparse Interpolation Meets ErrorCorrecting Codes Erich Kaltofen, North Carolina State University 2013Friday, May, 31, 2013, at University of WaterlooGenerating 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 2012Thursday, Dec, 6, 2012, at MaplesoftApproaching 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 2011Friday, Nov 4, 2011, at U. of Western OntarioL1, a quasilinear 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 2010Friday, Dec 10, 2010, at U. of WaterlooBuilding 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, BIT, 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 2009Friday, Nov 13, 2009, at U. of Western OntarioA Skew Polynomial Approach to IntegroDifferential 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 2008Thursday, 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 69, 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. 2007Thursday, 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. 2006Friday, 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 1012, 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. 2005Friday, 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. 2004Tuesday, December 14, 2004, at U. of Waterloo.Equiprojectable decomposition of zerodimensional 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. 2003Friday, December 5, 2003, at U. of Western Ontario.Multivariate skewpolynomial rings Manuel Bronstein, INRIA SophiaAntipolis, 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. Bilinear algebraic systems  how they arise and how to approach them Thomas Wolf, Brock University. Friday, June 13, 2003, at U. of Waterloo. Highlevel 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, LMCIMAG 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. 2002Friday, 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 SophiaAntipolis, 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. HighOrder Lifting Arne Storjohann, University of Waterloo. 2001Friday, December 7, 2001, at U. of Western Ontario.The early termination strategies in sparse interpolation and sparse shift algorithms Wenshin 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:
Friday, June 29, 2001, at U. of Western Ontario.
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:
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:
Friday, April 6, 2001, at U. of Waterloo. Main Presentation: Symbolic Linear Algebra Arne Storjohann, University of Western Ontario. Brief Talks:
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:
Friday, January 5, 2001, at U. of Western Ontario. Main Presentation: Expressions as Functions Jacques Carette, Maplesoft. Brief Talks:
2000Friday, December 1, 2000, at U. of Waterloo.
Friday, November 3, 2000, at U. of Western Ontario. Main Presentation: Solving BVPs with bvp4c Xianping Liu, University of Waterloo. Brief Talks:
Friday, October 6, 2000, at U. of Waterloo.
Friday, July 21, 2000, at U. of Waterloo.

Last modified on Thursday, 03 October 2024, at 13:07 hours.