The annual conference is designed to stimulate interaction between the two scientific communities of symbolic and numerical computing, and to exhibit interesting applications of the algorithms developed in both theory and practice. The underlying idea is that the two communities must work together if the computer is ever to become a truly intelligent aid for mathematicians and engineers. The topics discussed include computational tools for mathematical collaboration, proof techniques for synthesizing sorting algorithms, a reinforcement learning approach to solving the fragment assembly problem, parallel migration models applied to competitive differential evolution, and dealing with class noise in large training datasets for detecting malware. Only the authors are indexed. Annotation ©2012 Book News, Inc., Portland, OR (booknews.com)
