Symbolic Computation Group

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

Symbolic Computation Group (SCG) Talks


2026

Friday, May 22, 2026, at the University of Waterloo
An Algorithm for Diagonalizing Matrices of Formal Power Series
Jingyu Lu, PhD Candidate, University of Waterloo

Friday, May 8, 2026, at the University of Waterloo
Computing the connected components of real algebraic curves
Mohab Safey El Din, Professor, Sorbonne Université

Friday, March 27, 2026, at the University of Waterloo
Sparse and scalable Residue Number Systems from polynomial point of view
Eugene Zima, Associate Professor, Wilfrid Laurier University

Friday, February 27, 2026, at the University of Waterloo
Applications of Computer Algebra in Analytic Combinatorics
Andrew Luo, PhD Candidate, University of Waterloo

Friday, February 6, 2026, at the University of Waterloo
Heights and resultants of determinantal varieties
Sriram Gopalakrishnan, PhD Candidate, University of Waterloo and Sorbonne Université

2025

Friday, November 7, 2025, at the University of Waterloo
Automated Sequence Asymptotics
Stephen Melczer, Associate Professor, University of Waterloo

Friday, October 24, 2025, at the University of Waterloo (over Zoom)
Computing Polynomial Representation in Subrings of Multivariate Polynomial Rings
Thi Xuan Vu, Maîtresse de Conférences, Université de Lille

Wednesday, September 17, 2025, at the University of Waterloo
Well-Conditioned Polynomial Representations for Mathematical Handwriting Recognition
Deepak Singh Kalhan, PhD candidate, University of Waterloo

Wednesday, September 17, 2025, at the University of Waterloo
Formalizing Mathematical Definitions in the Lean Proof Assistant
Alena Gusakov, PhD candidate, University of Waterloo

Monday, March 3, 2025, at the University of Waterloo
Connections between k-coloring and k-means
Enver Aman, New Jersey

2024

Tuesday, August 13, 2024, at the University of Waterloo
Some Applications of Chinese Remainder Theorem Codes with Error-Correction
Jesse Elliott, PhD candidate, University of Waterloo

 

Last modified on Thursday, 14 May 2026, at 14:54 hours.