Program
Timezones
The program below is given in Guanajuato, Mexico local time.- Guanajuato, Mexico (UTC-6)
- PDT (Pacific Daylight Time = UTC-7)
- EDT (East coast of USA = UTC-4)
- CET (Central Europe = UTC+2)
- CST (China Standard Time = UTC +8)
- JST (Japan Standard Time = UTC +9)
- AEST (Australian Eastern Standard Time = UTC +10)
- NZST (New Zealand Standard Time = UTC +12)
Sessions
- There will not be parallel sessions.
|
July 28th, 2025 |
||
Time | ||
8:00 - 8:30 AM | Registration: Espacio D-604 | |
08:30 - 10:30 AM | Tutorial 1 (Espacio D604) | |
Timothy Duff - Numerically Computing Galois groups of Minimal Problems (slides) | ||
chair: Josephine Yu | ||
10:30 - 11:00 AM | Coffee Break | |
11:00 AM - 1:00 PM | Tutorial 2 (Espacio D604) | |
Sonja Petrović - Probability and randomness in computing with polynomial ideals | ||
chair: Josephine Yu | ||
1:00 - 2:30 PM | Lunch (Terraza D601) | |
2:30 - 4:30 PM | Tutorial 3 (Espacio D604) | |
Cordian Riener - Exploiting Symmetries in Symbolic Computation | ||
chair: Josephine Yu | ||
4:30 - 5:00 PM | Coffee Break / Informal Discussions | |
July 29th, 2025 | ||
Time | ||
8:15 - 8:50 AM | Registration: Espacio D-604 | |
8:50 -09:00 AM | Welcome | |
9:00 - 10:00 AM | Plenary Talk 1 (Espacio D604) | |
Rafael Sendra - Symbolic and Algebraic Manipulation of Parametric Algebraic Curves and Surfaces | ||
chair: Carlos D'Andrea | ||
10:00 - 10:30 AM | Coffee Break | |
Session (D604) | ||
chair: Ilias Kotsireas | ||
10:30 - 11:00 AM | Robert M. Corless, Arthur C. Norman, Tomas Recio, William J. Turkel and Stephen Watt | Symbolic Mathematical Computation 1965–1975: The View from a Half-Century Perspective |
11:00 - 11:30 AM | Qiuye Song and Chenqi Mou | On the Degrees of Reduced Gröbner Bases of Products of Determinantal Ideals |
11:30 AM - 12:00 PM | François Lemaire and Louis Roussel | Recent Advances on Integral Elimination |
12:00 - 12:30 PM | Jérémy Berthomieu, Romain Lebreton and Kevin Tran | Quasi-Linear Guessing of Minimal Lexicographic Gröbner Bases of Ideals of C-Relations of Random Bi-Indexed Sequences |
12:30 - 1:00 PM | Thi Xuan Vu | Computing Polynomial Representation in Subrings of Multivariate Polynomial Rings |
1:00 - 2:30 PM | Lunch (Terraza D601) | |
Session (D604) | ||
chair: Eduardo Saéz de Cabezón | ||
2:30 - 3:00 PM | Leonie Kayser | Computational Complexity of Polynomial Subalgebras |
3:00 - 3:30 PM | Rui-Juan Jing, Yuzhuo Lei, Christopher Frank Stephan Maligec, Chirantan Mukherjee and Marc Moreno Maza | Qunatifier Elimination Over the Integers |
3:30 - 4:00 PM | Tianshi Yu and Lihong Zhi | A Noncommutative Nullstellensatz for Perfect Two-Answer Quantum Nonlocal Games |
4:00 - 4:30 PM | Coffee Break | |
Session (D604) | ||
chair: Stephen Watt | ||
4:30 - 5:00 PM | Nicolas Faroß and Sebastian Volz | Algorithmic Problems in Categories of Partitions |
5:00 - 5:30 PM | Przemysław Koprowski and Josnei Novacoski | Computing the local group of prime-power classes |
5:30 - 6:00 PM | Ilias Kotsireas, Ana Isabel Gómez and Domingo Gómez-Pérez | On properties of Legendre pairs under compression |
July 30th, 2025 | ||
Time | ||
8:30 - 9:30 AM | Plenary Talk 2 (Espacio D604) | |
Teresa Krick - Effective bounds for polynomial systems defined over the rationals | ||
chair: Rafael Sendra | ||
09:30 AM | Group photo | |
09:35 - 10:00 AM | Coffee Break (and Registration) | |
Session (D604) | ||
chair: Marc Moreno Maza | ||
10:00 - 10:30 AM | Louis Gaillard | A unified approach for degree bound estimates of linear differential operators |
10:30 - 11:00 AM | Hao Du, Yiman Gao, Wenqiao Li and Ziming Li | Complete Reduction for Derivatives in a Primitive Tower |
11:00 - 11:30 PM | Shaoshi Chen, Manuel Kauers, Christoph Koutschan, Xiuyun Li, Rong-Hua Wang and Yisen Wang | Non-minimality of minimal telescopers explained by residues |
11:30 - 12:00 PM | Christian Boehmer, Bo Huang, Dongming Wang and Xinyu Wang | Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations |
12:00 - 12:30 PM | Thomas Cluzeau, Camille Pinto and Alban Quadrat | Polynomial solutions for general linear polynomial ordinary integro-differential systems |
12:30 - 1:30 PM | Lunch (Terraza D601) | |
Session (D604) | ||
chair: Josué Tonelli Cueto | ||
1:30 - 2:00 PM | Manuel Kauers and Raphael Pages | Bounds for D-Algebraic Closure Properties |
2:00 - 2:30 PM | Thomas Cluzeau, Camille Pinto and Alban Quadrat | An algorithmic proof of the coherence of the ring of polynomial ordinary integro-differential operators |
2:30 - 3:00 PM | Ligeng Fan, Dingkang Wang, Fanghui Xiao and Xiaopeng Zheng | Completing Parametric Unimodular Rows to Unimodular Matrices |
3:00 - 3:45 PM | Poster session and reception with snacks and refreshments | |
(Espacio D703) | ||
3:45 - 4:15 |
Maplesoft presentation - John May (D604) chair:
Eduardo Saéz de Cabezón | |
Software Presentations (D604) | ||
chair: John May | ||
4:15 - 4:35 PM | Arthur Norman and Stephen Watt: Semi-Centennial REDUCE | |
4:35 - 4:55 PM | Rui-Juan Jing, Yuzhuo Lei, Christopher Frank Stephan Maligec, Marc Moreno Maza, and Chirantan Mukherjee: Integer Hulls, Z-Polyhedra and Presburger Arithmetic in Action | |
4:55 - 5:15 PM | François Boulier (Thi Xuan Vu): The DenefLipshitz Algorithm | |
5:15 - 5:35 PM | Alexandre Guillemot: Certified Algebraic Path Tracking with Algpath | |
5:35 - 5:55 PM | Break | |
5:55 - 7:15 PM | ISSAC business meeting (Espacio D604) | |
7:15 - 8:35 PM | SIGSAM business meeting (Espacio D604) | |
July 31th, 2025 | ||
8:30 - 09:30 AM | Plenary Talk 3 (Espacio D604) | |
Manuel Kauers - D-Finiteness: A Success Story | ||
chair: Teresa Krick | ||
09:30 - 10:00 AM | Coffee Break (and Registration) | |
Session (D604) | ||
chair: Przemysław Koprowski | ||
10:00 - 10:30 AM | Xiaoliang Li, Bo Huang and Ally Quan Zhang | Structural Analysis of Oligopoly Equilibria Based on Triangular Decomposition and Cylindrical Algebraic Decomposition |
10:30 - 11:00 AM | Matías Bender, Laurent Busé, Carles Checa and Elias Tsigaridas | Solving bihomogeneous polynomial systems with a zero-dimensional projection |
11:00 AM - 11:30 PM | Rafael Mohr and Yulia Mukhina | On the Computation of Newton Polytopes of Eliminants |
11:30 - 12:00 PM | Simone Naldi, Mohab Safey El Din, Adrien Taylor and Weijia Wang | Solving generic parametric linear matrix inequalities |
12:00 - 12:30 PM | Yue Jiao and Xiaoxian Tang (Bo Huang) | An Efficient Algorithm for Determining the Equivalence of Zero-one Reaction Networks |
12:30 - 2:00 PM | Lunch (Terraza D601) | |
Session (D604) | ||
chair: Michael Burr | ||
2:00 - 2:30 PM | Nicolas Faroß and Thomas Sturm | On the Number of Real Types of Univariate Polynomials |
2:30 - 3:00 PM | Michael Burr, Michael Byrd and Kisun Lee | Certified algebraic curve projections by path tracking |
3:00 - 3:30 PM | Rocio Gonzalez-Diaz, Manuel Soriano-Trigueros and Alvaro Torras-Casas | Additive partial matchings for persistent homology |
3:30 - 4:00 PM | Muhammad Imran Qureshi | Terminal Fano 4-folds in low codimension |
4:00 - 4:30 PM | Coffee Break | |
Session (D604) | ||
chair: Matías Bender | ||
4:30 - 5:00 PM | Fatemeh Mohammadi, Eduardo Sáenz-de-Cabezón and Henry Wynn | Redundancy analysis using lcm-filtrations: networks, system signature and sensitivity evaluation |
5:00 - 5:30 PM | Haley Kottler, Julia Lindberg and Jose Israel Rodriguez | Method of moments for Gaussian mixtures: Implementation and benchmarks |
Software Presentations (D604) | ||
chair: John May | ||
5:30 - 5:50 PM | Ilias Kotsireas: Meta-programming for Legendre Pairs | |
5:50 - 6:10 PM | Julien Alexandre Dit Sandretto: Symbolic-Numeric Pipeline for Reachability Analysis of Differential Equations with B-series | |
6:10 - 6:30 PM | Raphaël Jolly: Meditor, the mathemagical editor | |
7:00 - 9:00 PM | Banquet: Hotel Ex Hacienda San Xavier | |
August 1th, 2025 | ||
9:00 - 10:00 AM | Plenary Talk 4 (Espacio D604) | |
Sergio Rajsbaum - An introduction to distributed computing and the combinatorial topology approach | ||
chair: Manuel Kauers | ||
10:00 - 10:30 AM | Coffee Break (and Registration) | |
Session (D604) | ||
chair: Juan Pablo Serrano | ||
10:30 - 11:00 AM | Pilar Coscojuela, Krishna Mahavadi, Ludovic Perret, Alex Ryba and Simona Samardjiska | On the complexity of the relative eigenvector problem |
11:00 - 11:30 AM | Jason Yang | Faster search for tensor decomposition over finite fields |
11:30 AM - 12:00 PM | Antony Della Vecchia, Michael Joswig and Fabian Lenzen | Faster Algebraic Shifting |
12:00 - 12:30 PM | Jakob Moosbauer and Michael Poole | Flip Graphs with Symmetry and New Matrix Multiplication Schemes |
12:30 - 2:00 PM | Lunch (Terraza D601) | |
Session (D604) | ||
chair: Carles Checa | ||
2:00 - 2:30 PM | Weixun Deng, J. Maurice Rojas and Cordelia Russell | Optimal Bounds for the Number of Pieces of Real Near-Circuit Hypersurfaces |
2:30 - 3:00 PM | Adrien Poteaux, Tristan Vaccon and Martin Weimann | On OM Algorithms and Cluster Pictures |
3:00 - 3:30 PM | Diego Armentano, Leandro Bentancur, Federico Carrasco, Marcelo Fiori, Matías Valdés and Mauricio Velasco | Characterization of Logarithmic Fekete Critical Configurations of at Most Six Points in All Dimensions |
3:30 - 4:00 PM | Jesse Elliott and Éric Schost | Some Applications of Chinese Remainder Theorem Codes with Error-Correction |
4:00 - 4:30 PM | Coffee Break | |
Session (D604) | ||
chair: Tristan Vaccon | ||
4:30 - 5:00 PM | Juan Pablo Serrano, Ralihe Raul Villagrán, Carlos Alfaro and Teresa I. Hoekstra-Mendoza | Graphs with two trivial distance ideals over the ring of polynomials with integer coefficients |
5:00 - 5:30 PM | Bo Lin, Kamillo Ferry, Carlos Améndola, Anthea Monod and Ruriko Yoshida | Tropical Fréchet Means |
5:30 - 6:00 PM | Alaa Ibrahim | Positivity Proofs for Linear Recurrences with Several Dominant Eigenvalues |