TY - BOOK AU - Gerdt,Vladimir P AU - Koepf,Wolfram AU - Mayr,Ernst W AU - Vorozhtsov,Evgenii V TI - Computer Algebra in Scientific Computing: 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings SN - 9783319022970 PY - 2013/// CY - Cham PB - Springer International Publishing KW - Computer science KW - Arithmetic and logic units, Computer KW - Algorithms KW - Numerical analysis KW - Mathematics KW - Computer graphics N1 - Polynomial algebra -- the solution of tropical linear systems and tropical polynomial systems -- the theory of matrices -- the use of computer algebra for the investigation of various mathematical and applied topics related to ordinary differential equations -- applications of symbolic computations for solving partial differential equations in mathematical physics -- problems arising at the application of computer algebra methods for finding infinitesimal symmetries -- applications of symbolic and symbolic-numeric algorithms in mechanics and physics -- automatic differentiation -- the application of the CAS Mathematica for the simulation of quantum error correction in quantum computing -- the application of the CAS GAP for the enumeration of Schur rings over the group A5 -- constructive computation of zero separation bounds for arithmetic expressions -- the parallel implementation of fast Fourier transforms with the aid of the Spiral library generation system -- the use of object-oriented languages such as Java or Scala for implementation of categories as type classes -- a survey of industrial applications of approximate computer algebra UR - http://dx.doi.org/10.1007/978-3-319-02297-0 ER -