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

Abstract

The 2015 International Symposium on Symbolic and Algebraic Computation (ISSAC 2015) is the premier conference for research in symbolic computation and computer algebra. ISSAC 2015, held at the University of Bath, U.K., is the 40th meeting in the series, which began in 1966 with the seminal ACM Symposium on Symbolic and Algebraic Manipulation. ISSAC 2015 is sponsored by the Association for Computing Machinery (ACM), in particular, the ACM Special Interest Group in Symbolic and Algebraic Manipulation (SIGSAM). The meeting is also supported by donations from the London Mathematical Society (LMS) and Maplesoft. As a scientific satellite event, the workshop Parallel Symbolic Computation (PASCO) was held in Bath immediately following ISSAC 2015. 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 algebraSymbolic-numeric, homotopy, perturbation and series methodsComputational algebraic geometry, group theory and number theoryComputer arithmeticSummation, recurrence equations, integration, solution of ODEs and PDEsSymbolic methods in other areas of pure and applied mathematicsComplexity of algebraic algorithms and algebraic complexity Software aspects: Design of symbolic computation packages and systemsLanguage design and type systems for symbolic computationData representationConsideration for modern hardwareAlgorithm implementation and performance tuningMathematical user interfaces Application aspects: Applications that stretch 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 program of ISSAC 2015 features invited talks, tutorials, contributed research presentations, a poster session and a software exhibits session. These Proceedings contain all accepted contributed papers, as well as abstracts of the invited talks and tutorials. The ISSAC Program Committee selected 43 papers appearing in these Proceedings. All papers submitted to ISSAC 2015 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 two or more referee reports were obtained for each submission. We gratefully acknowledge the thorough and important work of the Program Committee Members and external reviewers, whose names appear on the following pages, and thank all the authors and lecturers for their contribution.