Proceedings of the 2003 international symposium on Symbolic and algebraic computation

Abstract

ISSAC 2003 is the 28th meeting in the well-established series of the International Symposia on Symbolic and Algebraic Computation. The first meeting of the series (1966) was held in Washington, and sponsored by ACM. Since then, the abbreviated name of the meeting has evolved from SYMSAM, SYMSAC, EUROSAM, EUROCAL to finally settle on the present name ISSAC. In 2003, ISSAC will be held at the Drexel University in Philadelphia Pennsylvania USA from August 3rd to August 6th. The topics of the conference includes, but are not limited to: Algorithmic mathematics. Algebraic, symbolic and symbolic-numeric algorithms. Simplification, function manipulation, equations, summation, integration, ODE/PDE, linear algebra, number theory, group 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, concrete analysis, benchmarking, theoretical and practical 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. Following the tradition, ISSAC 2003 features invited talks, contributed papers, tutorials, poster sessions, and software exhibitions. This volume contains all the contributed papers to be presented at the meeting as well as the abstracts of the invited talks. The cover (design: Ed Shields) shows the Drexel University billboard at the intersection of 30th and Market Streets in Philadelphia. A total of 68 papers were submitted, and each was distributed to members of the program committee and external reviewers. An average of 3 referee reports were obtained for each submission, and finally 36 papers were selected for presentation. As a consequence, we are convinced that the contributions in these proceedings represent excellent and wide, though not complete, spectra of areas spanning most of symbolic and algebraic computation. Our congratulations and warmest thanks to all contributors and lecturers.