Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars

摘要

This volume contains the proceedings of the 21st annual meeting of the International Symposium on Symbolic Computation, ISSAC 2008. The first ISSAC took place in 1988, but it inherited the legacies of a number of earlier meetings, SYMSAM, SYMSAC, EUROSAM, EUROCAL, stretching back to 1966. In this extended tradition, ISSAC 2008 is the 33rd meeting. The meeting took place from the 20th to 23rd of July 2008 in Hagenberg, a pretty village 20 km north-east of Linz in Austria. >The topics of the conference series include, but are not limited to: >Algorithmic Mathematics: Algebraic, symbolic and symbolic-numeric algorithms. Simplification, function manipulation, summation, integration, linear algebra, number theory, polynomial/differential/difference equations, group and invariant theory, geometric computing. Computer Science: Theoretical and practical problems in symbolic computation. Systems, problem solving environments, user interfaces, software, libraries, concrete analysis, parallel/distributed computing and programming languages, benchmarking, theoretical and practical complexity, 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 and education. >The ISSAC 2008 program contained invited talks, contributed papers, tutorials, poster sessions and software exhibitions. ISSAC was also part of RISC Summer 2008, and a number of related conferences were held at the same location and nearby in time. This volume contains all contributed papers as well as abstracts of the invited talks and tutorials. >For ISSAC 2008, a total of 99 papers were accepted for review and each was distributed to members of the program committee and external reviewers. On average, 2.6 referee reports were obtained for each submission, and 40 papers were selected for presentation. They are representative of the many topics of research that make up the field of computer algebra. We wish to thank all the researchers who contributed papers for review, and to thank the many reviewers who generously gave their time to the selection process.