This session is about any kind of computation on the boundary between symbolic and numerical algorithms. The definition of “symbolic-numeric” will be interpreted fairly broadly.
Topics (including, but not limited to):
| Monday, 20 July 2026 | ||
| 14:00 | Rob Corless (Western University) | Introductory Presentation: Hybrid Symbolic-Numeric Computing: A Personal View |
| 14:30 | Tanmaya Karmarkar (The University of British Columbia) Yves Lucet (The University of British Columbia) Narendra Karmarkar |
Tensor Optimization Framework for Sums-of-Squares Certification |
| 15:00 | Anton Leykin (Georgia Tech) | Computer-assisted discovery and proofs of compatibility conditions for three projective cameras |
| 15:30 | Coffee break | |
| 16:00 | Nobuki Takayama (Kobe University) Takaharu Yaguchi (Kyushu University) Yi Zhang (Xi'an Jiaotong-Liverpool University) |
Holonomic gradient method - a symbolic-numeric method to evaluate integral with parameters |
| 16:30 | Bernhard Andraschko (Universität Passau) Ilias Kotsireas (Wilfrid Laurier University) Martin Kreuzer (Universität Passau) |
Computing Periodic Golay Pairs Using SAT Solvers |
| 17:00 | Juhee Kim and Taylor Brysiewicz (both Western University) |
Randomized Algorithms for Verifying Monodromy Groups |
| 17:30 | ||
| 18:00 | Evening reception (Maplesoft) | |
| Tuesday, 21 July 2026 | ||
| 14:00 | Joseph Cummings (University of Edinburgh) Jonathan D. Hauenstein (University of Notre Dame) |
Mixed volume and ramification points of polyhedral homotopies |
| 14:30 | Paul Breiding (Universität Osnabrück) David Johnson (Western University Taylor Brysiewicz (Western University) |
Parallel Certification of Roots of Polynomial Systems |
| 15:00 | Katie Kruzan and Jan Verschelde (both University of Illinois at Chicago) |
Newton's Method for Real Powered Series using PHCpack and phcpy |
| 15:30 | Coffee break | |
| 16:00 | Oskar Henriksson (Max Planck Institute of Molecular Cell Biology and Genetics) | Numerical Elimination and Parameter Space Exploration |
| 16:30 | Alexandre Guillemot (Inria, Université Paris-Saclay) John Voigt (University of Sydney) |
Belyi map verification using certified path tracking |
| 17:00 | Kisun Lee (Clemson University) | Certifying algebraic structures via interval arithmetic |
| 17:30 | ||
| Wednesday, 22 July 2026 | ||
| 13:30 | Laureano Gonzalez-Vega (CUNEF Universidad) | Computing the Eigenvalues of QM-Matrices and Q1,2-Matrices |
| 14:00 | Denis Arzelier (Université de Toulouse) Florent Bréhard (Université de Lille) Mioara Joldes (Université de Toulouse) |
Mathematical Software for the Evaluation of Distribution Functions of Quadratic Forms of Gaussian Random Variables |
| 14:30 | Ruiqi Huang and Anton Leykin (both Georgia Tech) |
Approximating periodic orbits with algebraic curves and related minimal problems |
| 15:00 | Coffee break | |
| 15:30 | Excursion & conference dinner | |
| Thursday, 23 July 2026 | ||
| 14:00 | Bingwei Zhang and Chee Yap (both New York University) |
Taylor Tubes: A Technique to Improve the Speed and Accuracy of Validated IVP Algorithms |
| 14:30 | Ned Nedialkov (McMaster University) | ADTAYL: Taylor Series, ODEs, and Lie Derivatives in MATLAB |
| 15:00 | Alexander Demin (HSE University) Christina Katsamaki (Centre Inria de Paris) Fabrice Rouillier (Centre Inria de Paris) |
Certified Symbolic-Numeric Algorithms for Critical Engineering Applications |
| 15:30 | Coffee break | |
| 16:00 | Enrica Barrilli and
Bernard Mourrain (both Centre Inria d'Université Côte d'Azur) |
Eigensolvers for polynomial roots and tensor decomposition |
| 16:30 | Soo Go and
Victor Y. Pan (both The City University of New York) |
Semi-Heuristic Acceleration of Near-Optimal Black Box Polynomial Root-Finders |
| 17:00 | ||