Issac '18 - Issac - Bog

The International Symposium on Symbolic and Algebraic Computation (ISSAC) is the premier conference for research in symbolic computation and computer algebra. ISSAC 2018, to be held at the City University of New York, New York City, USA, is the 43rd meeting in this series. The series has been held annually since 1981. ISSAC is sponsored by the Association for Computing Machinery (ACM) and its Special Interest Group on Symbolic and Algebraic Manipulation (SIGSAM), and is generously supported by several other institutions and organizations, which are listed in the following pages. This year's meeting takes place from the 16th to the 19th of July 2018. The ISSAC meeting is a showcase for original research contributions on all aspects of computer algebra and symbolic mathematical computation, including: Algorithmic aspectsExact and symbolic linear, polynomial, and differential algebraSymbolic-numeric, homotopy, perturbation, and series methodsComputational algebraic geometry, group theory, number theory, quantifier elimination, and logicComputer arithmeticSummation, recurrence equations, integration, and solution of ODEs and PDEsSymbolic methods in other areas of pure and applied mathematicsComplexity of algebraic algorithms and algebraic complexitySoftware aspectsDesign of symbolic computation packages and systemsLanguage design and type systems for symbolic computationData representationConsiderations for modern hardwareAlgorithm implementation and performance tuningMathematical user interfacesUse with systems for, e.g., digital libraries, courseware, simulation and optimization, automated theorem-proving, computer-aided design, and automatic differentiationApplication aspectsApplications 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 conference presents a range of invited speakers, tutorials, poster sessions, software demonstrations, and vendor exhibits, with its centerpiece being peer-reviewed research papers. The ISSAC program committee has adhered to the highest standards and practices in the evaluation of submitted papers, producing three or more referee reports per submission. All papers submitted iv to ISSAC were judged, and accepted or rejected, based solely on their scientific novelty, importance, non-triviality, and rigor. The program committee selected 47 papers for publication in these proceedings. We gratefully acknowledge the thorough and important work of the program committee members and external reviewers, whose names appear in the following pages, and thank all the authors of all the submitted papers, tutorials, and invited talks for their contributions.