Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings / [electronic resource] : edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov. - Cham : Springer International Publishing, 2013. - 1 online resource (XVI, 443 p. 58 ill.) - Lecture Notes in Computer Science, 8136 0302-9743 ; .

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.

9783319022970


Computer science.
Arithmetic and logic units, Computer.
Algorithms.
Numerical analysis.
Computer science--Mathematics.
Computer graphics.