Proceedings of the 2009 international symposium on Symbolic and algebraic computation

Abstract

The 2009 International Symposium on Symbolic and Algebraic Computation (ISSAC 2009), which is jointly sponsored by ACM/SIGSAM and the Korea Institute for Advanced Study (KIAS), will be held at KIAS in Seoul, Korea from July 28 to July 31, 2009. It is the 34th conference in the series that initially alternated between North America and Europe and which began with the seminal 1966 ACM Symposium on Symbolic and Algebraic Manipulation in Washington, D.C. It is the first time ISSAC is held in Korea and the third time ISSAC is held in Asia. The meeting is devoted to research in computer algebra and symbolic computation, covering the following: 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. The ISSAC 2009 Program contains invited talks, contributed papers, posters, tutorials, and software demonstrations. These Proceedings contain all accepted contributed papers as well as abstracts of the tutorials and invited talks. Poster abstracts will appear in a future issue of the ACM Communications in Computer Algebra. This year's meeting is held in conjunction with SNC 2009, the Third International Workshop on Symbolic Numeric Computation, which will be held August 3-5, 2009 in Kyoto Japan. The Program Committee selected the 47 papers appearing in these Proceedings after careful evaluation including two or more referee reports per 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 contributions.