Full Papers
The program committee has accepted the 43 papers below.
List of Accepted Papers
- Carlos Améndola, Felix Lotter and Leonard Schmitz.
Signature Varieties of Splines - Denis Arzelier, Florent Bréhard and Mioara Joldes.
Fast and Reliable Evaluation of the Distribution of Quadratic Forms of Gaussian Random Variables - David Barnhill, John Cobb and Matthew Faust.
Likelihood Correspondence of Toric Statistical Models - Jérémy Berthomieu, Vincent Neiger and Hugo Passe.
Computing Submatrices of the Hermite Normal Form of a Structured Polynomial Matrix - Viktoriia Borovik, Timothy Duff and Elima Shehu.
SAGBI and Gröbner Bases Detection - Olivier Bournez and Alonso Núñez.
Relating the Computational and Logical Difficulty of Solving ODEs: From Polynomial to Discontinuous Right-Hand Sides - Florent Bréhard, Fabien Corinaldesi and Adrien Poteaux.
Validated Numerical Newton-Puiseux Algorithm - Hadrien Brochet.
Computing an Approximation of the Partial Weyl Closure of a Holonomic Module - Michael Burr, Jonathan D. Hauenstein and Kisun Lee.
Certified Surface Approximations Using the Interval Krawczyk Test - Xavier Caruso and Florian Fürnsinn.
Algorithms for Algebraic and Arithmetic Attributes of Hypergeometric Functions - Shaoshi Chen, Lixin Du, Hanqian Fang and Yisen Wang.
On the Summability Problem of Multivariate Rational Functions in the Mixed Case - Shaoshi Chen, Hanqian Fang and Joris van der Hoeven.
A Zero-Test for D-Algebraic Transseries - Shaoshi Chen, Manuel Kauers, Wenqiao Li, Xiuyun Li and David Masser.
Symbolic Integration in Weierstrass-like Extensions - Thierry Combot.
Hyperexponential Solutions of Linear Differential Equations over Hyperelliptic Curves - Corentin Cornou, Simone Naldi and Tristan Vaccon.
On Semidefinite-Representable Sets over Valued Fields - Zihao Dai, Hao Liang, Jingyu Lu and Lihong Zhi.
An Algorithm for Diagonalizing Matrices of Formal Power Series - Jean-Guillaume Dumas, Stefano Lia and John Sheekey.
Computational Explorations on Semifields - Andreas-Stephan Elsenhans and John Voight.
Computing Class Groups and Unit Groups in Magma - Mădălina Erașcu and Johannes Middeke.
Automatic Generation of Polynomial Symmetry Breaking Constraints - Eva Gonzalez Garcia, Montserrat Hermo and Anthony Widjaja Lin.
Learning Unions of Intersecting Affine Modules in One Dimension with Queries - Mark Giesbrecht, Pascal Koiran, Saiyue Lyu and Daniel Roche.
Fast Decomposition of Sparse Polynomials - Joris van der Hoeven, Grégoire Lecerf and Arnaud Minondo.
Polynomialization of Ordinary Differential Equations Given by Straight-Line Programs - Clemens Hofstadler, Peter Krug and Georg Regensburger.
Refuting Noncommutative Ideal Membership via Matrix Certificates - Antonio Jiménez-Pastor and Sonia L. Rueda.
Gröbner Bases of Burchnall-Chaundy Ideals for Ordinary Differential Operators - Kirill Khoruzhii, Patrick Gelß and Sebastian Pokutta.
Faster Algorithms for Structured Matrix Multiplication via Flip Graph Search - Adam Kurpisz, Lucas Slot and Mikhail Zaytsev.
On the Distribution of Unweighted Minimum Knapsack Instances with Large SOS Rank - Pierre Lairez, Rafael Mohr and Théo Ternier.
A Data Structure for Monomial Ideals with Applications to Signature Gröbner Bases - Marcus Lawson and Mark van Hoeij.
Global Curvature of Difference Operators - Alexander Levin.
Bivariate Differential Dimension Polynomials via Bigraded Rees Construction - Yangyang Liu and Chenqi Mou.
Minimal Generating Sets of Syzygy Modules of Quadratic Ladder Determinantal Ideals - Lucas Michel.
On Minimum CADs for Algebraic Sets in Dimension Three - Fatemeh Mohammadi, Sonja Petrović and Eduardo Sáenz de Cabezón.
Asymptotic Properties of Random Monomial Ideals - Yoav Moran, Oded Schwartz and Shuncheng Yuan.
Complex to Rational Fast Matrix Multiplication - Laura Moreno-Resa and Eduardo Sáenz de Cabezón.
A BDD-Engine for Computations on Monomial Ideals - Vincent Neiger, Bruno Salvy, Éric Schost and Gilles Villard.
Faster Modular Composition Using Two Relation Matrices - Raphaël Pagès.
LCM Decompositions of Linear Differential Operators in Positive Characteristic - Adrien Poteaux, Tristan Vaccon and Martin Weimann.
OM Algorithm and Cluster Pictures II: Handling Low Precision - Elisabetta Rocchi and Mohab Safey El Din.
Computing the Connected Components of Real Algebraic Curves - Oded Schwartz and Eyal Zwecher.
Towards Faster Feasible Matrix Multiplication by Trilinear Aggregation - Shinichi Tajima and Katsusuke Nabeshima.
Computing Grothendieck Point Residues via Solving Holonomic Systems of First Order Partial Differential Equations II - Ali Uncu and Thieu Vo.
Autonomous First-Order Algebraic q-Difference Equations and Their Rational Solutions - Thi Xuan Vu.
A Symbolic Homotopy Algorithm for Solving Composable Polynomial Systems - Nicolas Weiss and Lakshmi Ramesh.
Exact Volumes of Semi-Algebraic Convex Bodies