ISSAC 2023 Awards
Distinguished Paper Award
Sponsored by SIGSAM.
Authors: Manuel Kauers and Jakob Moosbauer.
Title: Flip Graphs for Matrix Multiplication.
Distinguished Student Author Award
Sponsored by SIGSAM and Maplesoft.
Author: Antoine Béreau with coauthors Marianne Akian and Stéphane Gaubert.
Title: The Tropical Nullstellensatz and Positivstellensatz for Sparse Polynomial Systems.
Distinguished Poster Award
Sponsored by Maplesoft and Fachgruppe Computeralgebra.
Authors: Tereso del Río, Amir Hosein Sadeghimanesh and Matthew England.
Title: Clustering in the Lazard method for Cylindrical Algebraic
Decomposition.
Distinguished Software Demonstration Award
Sponsored by Maplesoft and Fachgruppe Computeralgebra.
Authors: Yang-Hui He, Vishnu Jejalla, Brent Nelson, Hal Schenck and
Michael Stillman.
Title: MSSM: A Macaulay2 package for the Vacuum Moduli Space.