ISSAC

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 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 and algebraic complexity

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 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.