Title: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation
Abstract: The International Symposium on Symbolic and Algebraic Computation, ISSAC, is devoted to research in computer algebra including these topics:
Algorithmic mathematics. Algebraic, symbolic and symbolic-numeric algorithms. Simplification, function manipulation, equations, summation, integration, ODE/PDE, linear algebra, number theory, group-theoretic and geometric computing.
Computer Science. Theoretical and practical problems in symbolic computation. Systems, problem solving environments, user interfaces, software, libraries, parallel/distributed computing and programming languages for symbolic computation, analysis, benchmarking, complexity of computer algebra algorithms, automatic differentiation, code generation, mathematical data structures and exchange protocols.
Applications. Problem treatments using algebraic, symbolic or symbolic-numeric computation in an essential or a novel way. Engineering, economics and finance, physical and biological sciences, computer science, logic, mathematics, statistics, education.
.ISSAC 2006 is the 19th in an annual series begun in 1988 and evolved from a loosely coordinated set of bi- and tri-annual meetings with acronyms such as SYMSAC, SYMSAM, EUROCAL, EUROSAM tracing back to 1966.As is customary, ISSAC 2006 featured invited talks, contributed papers, posters, tutorials, and software demos. These proceedings contain the contributed papers, abstracts of the invited talks, and tutorial summaries. Poster abstracts will appear in a future issue of the SIGSAM Bulletin now entitled ACM Communications in Computer Algebra.There were 97 papers submitted. The program committee selected the program herein after careful evaluation including two or more (average of three) referee reports per submission. We gratefully acknowledge the thorough and essential work of the program committee members and referees.Several conferences were held in convenient coordination with ISSAC. In particular we mention Calculemus 2006 in Genoa just before ISSAC 2006 and Cafe, Computer Algebra and Functional Equations, an international conference in memory of Manuel Bronstein held in Sophia Antipolis just after ISSAC.