The Computer Algebra Group at Simon Fraser

Text Size: ππππ
2026 Meetings 2025 Meetings 2024 Meetings 2023 Meetings 2022 Meetings 2021 Meetings 2020 Meetings 2019 Meetings 2018 Meetings 2017 Meetings 2016 Meetings 2015 Meetings 2014 Meetings 2013 Meetings 2012 Meetings 2011 Meetings

2026 Computer Algebra Group Seminars


January 2026 
 26   Verification of univariate polynomial GCD in F[x] using Dafny.
      Mantej Sokhi, 1:30pm in K9509
February 2026 
  2   Record‑Setting Toeplitz Determinant Computation via Black‑Box Factorization.
      Tian Chen, 1:30pm in K9509  [ Slides ]
  9   How to determine the number of terms of a polynomial.
      Michael Monagan, 1:30pm in K9509  [ Slides ]
 13   Geometric Aspects of Sparse Multivariate Rational Function Interpolation with
              Application to Solving Parametric Linear Systems
      Archit Srivastava, Project talk, 1:30pm in library thesis room
April 2026 
 21  Computing GCDs and Resultants of Multivariate Polynomials over Algebraic Number
        Fields Presented with Multiple Extensions
     Mahsa Ansari, PhD defense, 9:30am in library thesis room
May 2026 
 15  Structured backward error in the WKB method
     Robert Corless, Editor-in-Chief Maple Transactions, 3:30pm, K9509
July 2026 
  3   Implementing sparse rational function interpolation in Maple
      with application to solving parametric linear systems.
      Michael Monagan, CECM Research Centre, 2:30pm, AQ 4102.
      The Ax Computer Algebra System
      Roman Pearce, CECM, 3:00pm, AQ 4102.
13-17 FPSAC 2026, Seattle, Washington
13-17 ISSAC 2026, Oldenburg, Germany
  18  Accelerating the factorization of multilinear boolean polynomials
      Tian Chen, Mathematics, SFU, 2:30pm, AQ 4102
      A Generalization of the Schwartz-Zippel Lemma and the Probabilistic Multivariate Division Test
      Mitchell Holt, Mathematics, SFU, 3:00pm, AQ 4102
20-23 ICMS 2026, Waterloo, Ontario
August 2026 
 31-4 CASC 2026, Bath, England