Accepted posters
-
Approximate Real Root Certification using Exact Hermite Matrices
Tulay Ayyildiz Akoglu, and Agnes Szanto -
Towards fast one-block quantifier elimination through generalised critical values
Jérémy Berthomieu, Andrew Ferguson, and Mohab Safey El Din -
Optimal monomial quadratization for ODE systems
Andrey Bychkov and Gleb Pogudin -
Sampling the feasible sets of SDPs and volume approximation (Distinguished poster.)
Apostolos Chalkis, Vissarion Fisikopoulos, Panagiotis Repouskos, and Elias Tsigaridas -
Smooth Points on Semi-algebraic Sets
Katherine Harris, Jonathan Hauenstein, and Agnes Szanto -
Exploiting Symmetry in the Power Flow Equations Using Monodromy
Julia Lindberg, Nigel Boston, and Bernard C. Lesieutre -
Improved Divisor Arithmetic on Generic Hyperelliptic Curves
Sebastian Lindner, Laurent Imbert, and Michael Jacobson -
A calculus for monomials in Chow group A^{n-3}(n)
Jiayue Qi -
Algebraic Skeleton Transform: A symbolic computation challenge
Duane Storti -
A Complexity Chasm for Sparse Solving Over p-adic Fields
Yuyu Zhu and J. Maurice Rojas