Computer Algebra in Scientific Computing: 15th International Workshop, Casc 2013, Berlin, Germany, September 9-13, 2013, Proceedings (Paperback, 2013)

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.