Full Papers
The program committee has accepted the 41 papers below.
List of Accepted Papers
- Tianshi Yu and Lihong Zhi.
A Noncommutative Nullstellensatz for Perfect Two-Answer Quantum Nonlocal Games - Louis Gaillard.
A unified approach for degree bound estimates of linear differential operators - Rocio Gonzalez-Diaz, Manuel Soriano-Trigueros and Alvaro Torras-Casas.
Additive partial matchings for persistent homology - Christian Boehmer, Bo Huang, Dongming Wang and Xinyu Wang.
Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations - Nicolas Faroß and Sebastian Volz.
Algorithmic Problems in Categories of Partitions - Thomas Cluzeau, Camille Pinto and Alban Quadrat.
An algorithmic proof of the coherence of the ring of polynomial ordinary integro-differential operators - Yue Jiao and Xiaoxian Tang.
An Efficient Algorithm for Determining the Equivalence of Zero-one Reaction Networks - Manuel Kauers and Raphael Pages.
Bounds for D-Algebraic Closure Properties - Michael Burr, Michael Byrd and Kisun Lee.
Certified algebraic curve projections by path tracking - 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 - Hao Du, Yiman Gao, Wenqiao Li and Ziming Li.
Complete Reduction for Derivatives in a Primitive Tower - Ligeng Fan, Dingkang Wang, Fanghui Xiao and Xiaopeng Zheng.
Completing Parametric Unimodular Rows to Unimodular Matrices - Leonie Kayser.
Computational Complexity of Polynomial Subalgebras - Thi Xuan Vu.
Computing Polynomial Representation in Subrings of Multivariate Polynomial Rings - Przemysław Koprowski and Josnei Novacoski.
Computing the local group of prime-power classes - Antony Della Vecchia, Michael Joswig and Fabian Lenzen.
Faster Algebraic Shifting - Jason Yang.
Faster search for tensor decomposition over finite fields - Jakob Moosbauer and Michael Poole.
Flip Graphs with Symmetry and New Matrix Multiplication Schemes - 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 - Haley Kottler, Julia Lindberg and Jose Israel Rodriguez.
Method of moments for Gaussian mixtures: Implementation and benchmarks - Shaoshi Chen, Manuel Kauers, Christoph Koutschan, Xiuyun Li, Rong-Hua Wang and Yisen Wang.
Non-minimality of minimal telescopers explained by residues - Adrien Poteaux, Tristan Vaccon and Martin Weimann.
On OM Algorithms and Cluster Pictures - Ilias Kotsireas, Ana Isabel Gómez and Domingo Gómez-Pérez.
On properties of Legendre pairs under compression - Pilar Coscojuela, Krishna Mahavadi, Ludovic Perret, Alex Ryba and Simona Samardjiska.
On the complexity of the relative eigenvector problem - Rafael Mohr and Yulia Mukhina.
On the Computation of Newton Polytopes of Eliminants - Qiuye Song and Chenqi Mou.
On the Degrees of Reduced Gröbner Bases of Products of Determinantal Ideals - Nicolas Faroß and Thomas Sturm.
On the Number of Real Types of Univariate Polynomials - Weixun Deng, J. Maurice Rojas and Cordelia Russell.
Optimal Bounds for the Number of Pieces of Real Near-Circuit Hypersurfaces - Thomas Cluzeau, Camille Pinto and Alban Quadrat.
Polynomial solutions for general linear polynomial ordinary integro-differential systems - Alaa Ibrahim.
Positivity Proofs for Linear Recurrences with Several Dominant Eigenvalues - Rui-Juan Jing, Yuzhuo Lei, Christopher Frank Stephan Maligec, Chirantan Mukherjee and Marc Moreno Maza.
Quantifier Elimination Over the Integers - 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 - François Lemaire and Louis Roussel.
Recent Advances on Integral Elimination - Fatemeh Mohammadi, Eduardo Sáenz-de-Cabezón and Henry Wynn.
Redundancy analysis using lcm-filtrations: networks, system signature and sensitivity evaluation - Matías Bender, Laurent Busé, Carles Checa and Elias Tsigaridas.
Solving bihomogeneous polynomial systems with a zero-dimensional projection - Simone Naldi, Mohab Safey El Din, Adrien Taylor and Weijia Wang.
Solving generic parametric linear matrix inequalities - Jesse Elliott and Éric Schost.
Some Applications of Chinese Remainder Theorem Codes with Error-Correction - Xiaoliang Li, Bo Huang and Ally Quan Zhang.
Structural Analysis of Oligopoly Equilibria Based on Triangular Decomposition and Cylindrical Algebraic Decomposition - 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 - Muhammad Imran Qureshi.
Terminal Fano 4-folds in low codimension - Bo Lin, Kamillo Ferry, Carlos Améndola, Anthea Monod and Ruriko Yoshida.
Tropical Fréchet Means