ISSAC 2015 Award Winners
Distinguished Paper Award
Sponsored by SIGSAM.
Jean-Guillaume Dumas, Clément Pernet and Ziad Sultan - Computing the rank profile matrix
Citation: This paper studies forms of elimination that reveal the dependence structure of matrix rows, columns, or both simultaneously, significantly extending previous work. The authors categorize the forms of elimination including the permutation properties needed in pivot selection and placement to preserve the rank profile properties under various iterative and block approaches. In the course of this, a new strategy emerges to serve as a base case and substantially speed up rank profile preserving tiled elimination. The work is of particular significance because Gaussian elimination and the associated matrix factorization lie at the heart of a great deal of linear algebra, particularly in Computer Algebra.
Distinguished Student Author Award
Sponsored by SIGSAM.
Sébastien Maulat - Formulas for Continued Fractions: An Automated Guess and Prove Approach (with Bruno Salvy)
Citation: The results of this paper are symbolic computation at its best, showing new ways for computers to discover and prove mathematical formulas, studied before for centuries. The paper gives a new algorithmic understanding of a classical problem, finding formulas for the continued fraction expansions of special functions. It is a completely new approach, and it turns insights from experimentation into algorithms, partially heuristic, but with algorithmic proof of correctness. This paper may be a start for a line of new research.
Best Poster Award
The winners received 250 EUR from Fachgruppe Computeralgebra and a Maple product licence from Maplesoft.
Luca De Feo, Christophe Petit, Michael Quisquater. Deterministic root finding in finite fields.
Best Software Demonstration Award
The winners received 250 EUR from Fachgruppe Computeralgebra and a Maple product licence from Maplesoft.
Bruno Grenet. Lacunaryx: Computing bounded-degree factors of lacunary polynomials.