Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation

Abstract

The 2016 International Symposium on Symbolic and Algebraic Computation (ISSAC 2016) is the premier conference for research in symbolic computation and computer algebra. ISSAC 2016, held at Wilfrid Laurier University, Canada, is the 41st meeting in the series. ISSAC was directly preceded by a series of conferences with the names SYMSAC, EUROCAL, EUROSAM and EUROCAM, initiated by the seminal ACM Symposium on Symbolic and Algebraic Manipulation (SYMSAM- 1966) held 50 years ago. The ISSAC conference is a showcase for original research contributions on all aspects of computer algebra and symbolic mathematical computation, including: Algorithmic aspects: Exact and symbolic linear, polynomial and differential algebra Symbolic-numeric, homotopy, perturbation and series methods Computational algebraic geometry, group theory and number theory Computer arithmetic Summation, recurrence equations, integration, solution of ODEs and PDEs Symbolic methods in other areas of pure and applied mathematics Complexity of algebraic algorithms Software aspects: Design of symbolic computation packages and systems Language design and type systems for symbolic computation Data representation Consideration for modern hardware Algorithm implementation and performance tuning Mathematical user interfaces Application aspects: Applications stretching the current limits of computer algebra algorithms or systems, use computer algebra in new areas or new ways, or apply it in situations with broad impact. The ISSAC Program Committee adhered to the highest standards and practices in the evaluation of submitted papers, and we are very pleased with the quality of the papers appearing at the conference. All papers submitted to ISSAC 2016 were judged, and accepted or rejected, solely according to their scientific novelty and excellence. Each submitted paper was assigned to three members of the Program Committee, and a minimum of three referee reports were obtained for each submission. Ultimately 50 papers were accepted for presentation and publication in the proceedings. The authors of accepted papers are from 17 countries. In addition to the contributed research presentations, the program of ISSAC 2016 features 3 invited talks given by Ioannis Z. Emiris, J. Ian Munro, and Carsten Schneider, 3 tutorials given by Clemens G. Raab, Daniel Robertz, and Georg Regensburger, 2 satellite workshops: "Milestones in Computer Algebra" and "The Waterloo Workshop on Computer Algebra," as well as a poster session and a software exhibits session.