ISSAC 2016 Awards
Distinguished Paper Award
Sponsored by SIGSAM.
Authors: Tristan Vaccon and Pierre Lairez.
Title: On p-adic differential equations with separation of variables.
Citation: The computation of a power series solution of a given ordinary differential equation is a basic problem in computer algebra. For a first-order ordinary differential equation with separation of variables and with p-adic coefficients, the authors of this paper give an optimal bound on the stability of the Newton iteration. The result applies to algorithms for manipulating algebraic numbers over finite fields, for computing isogenies between elliptic curves, and for deterministically finding roots of polynomials in finite fields.
Distinguished Student Author AwardThere have been two distinguished student author awards at ISSAC'2016.
Sponsored by SIGSAM.
- Recipient: Yi Zhang.
Paper Title: Contraction of Ore Ideals with Applications.
- Recipient: Matias Bender (with Jean-Charles Faugere, Ludovic Perret and Elias Tsigaridas).
Paper Title: A Superfast Randomized Algorithm to Decompose Binary Forms.
Distinguished Poster Award
This year, the poster presentation committee decided on two distinguished posters
- Authors: Eunice Y. S. Chan and Robert M. Corless.
Poster Title: Fibonacci-Mandelbrot Polynomials and Matrices.
- Authors: Leili Rafiee Sevyeri and Robert M. Corless.
Poster Title: Linearization of a Specific Family of Bézout Matrices.
Distinguished Software Demonstration Award
This year, the software presentation committee decided to hand out two awards.
- Author: Christoph Koutschan.
Title: Motion Polynomials and Planar Linkages.
- Authors: Miguel Abánades, Francisco Botana, Zoltán Kovács,
Tomás Recio, Csilla Sólyom-Gecse.
Title: Development of automatic reasoning tools in GeoGebra.
Distinguished Female Student Award
Two awards have been given to distinguished female students at ISSAC 2016.
Each winner received 250 CAD. The prize money was donated by the Centre for Women in Science at Wilfrid Laurier University and the Institute for Quantum Computing at the University of Waterloo.
- Recipient: Juan Xu (with: Ruben Becker, Michael
Sagraloff, Vikram SharmaĦ¤Chee Yap).
Title: A Subdivision Algorithm for Root Clustering of a Complex Polynomial, with Complexity Analysis.
- Recipient: Hui Huang.
Title: New Bounds for Hypergeometric Creative Telescoping.