Symbolic Computation Group
David R. Cheriton School of Computer Science
|
|
Symbolic Computation Group (SCG) Talks2026Friday, February 27, 2026, at the University of WaterlooApplications 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é 2025Friday, November 7, 2025, at the University of WaterlooAutomated 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 2024Tuesday, August 13, 2024, at the University of WaterlooSome Applications of Chinese Remainder Theorem Codes with Error-Correction Jesse Elliott, PhD candidate, University of Waterloo
|
Last modified on Saturday, 21 February 2026, at 21:51 hours.