ISSAC 2025 Awards
Distinguished Paper Award
Sponsored by SIGSAM.
Authors: Adrien Poteaux, Tristan Vaccon and Martin Weimann (Photo)
Title: OM Algorithms and Cluster Pictures
Honorable Mention
Sponsored by Maplesoft.
Author: Louis Gaillard (Photo)
Title: A unified approach for degree bound estimates of linear differential operators
Distinguished Student Author Awards
Sponsored by SIGSAM.
Student Author: Alaa Ibrahim
Title: Positivity Proofs for Linear Recurrences with Several Dominant Eigenvalues
Distinguished Poster Award
Sponsored by Fachgruppe Computeralgebra.
Authors: Sriram Gopalakrishnan, Vincent Neiger, Mohab Safey El
Din, Eric Schost (Photo)
Title: Heights of degeneracy loci
Honorable Mention
Sponsored by Maplesoft.
Authors: Carles Checa, Elisenda Feliu (Photo)
Title: An Effective Criterion for Multiple Positive Solutions of Vertically Parametrized Polynomial Systems
Distinguished Software Demonstration Award
Sponsored by Fachgruppe Computeralgebra.
Author: Alexandre Guillemot (Photo)
Title: Certified Algebraic Path Tracking with Algpath
Honorable mention
Sponsored by Maplesoft.
Authors: Rui-Juan Jing, Yuzhuo Lei, Christopher Frank Stephan
Maligec, Marc Moreno Maza, and Chirantan Mukherjee (Photo)
Title: Integer Hulls, Z-Polyhedra and Presburger Arithmetic in Action
