LEADER 05502nam 22007815 450 001 996466014503316 005 20230221032504.0 010 $a3-319-02297-0 024 7 $a10.1007/978-3-319-02297-0 035 $a(CKB)3710000000015827 035 $a(SSID)ssj0000988083 035 $a(PQKBManifestationID)11549739 035 $a(PQKBTitleCode)TC0000988083 035 $a(PQKBWorkID)10950043 035 $a(PQKB)10534246 035 $a(DE-He213)978-3-319-02297-0 035 $a(MiAaPQ)EBC3107079 035 $a(PPN)172424623 035 $a(EXLCZ)993710000000015827 100 $a20130814d2013 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputer Algebra in Scientific Computing$b[electronic resource] $e15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013, Proceedings /$fedited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov 205 $a1st ed. 2013. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2013. 215 $a1 online resource (XVI, 443 p. 58 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8136 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-02296-2 327 $aPolynomial 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. 330 $aThis book constitutes the proceedings of the 14th International Workshop on Computer Algebra in Scientific Computing, CASC 2013, held in Berlin, Germany, in September 2013. The 33 full papers presented were carefully reviewed and selected for inclusion in this book. The papers address issues such as 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 (ODEs); applications of symbolic computations for solving partial differential equations (PDEs) 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. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8136 606 $aAlgorithms 606 $aComputer science?Mathematics 606 $aDiscrete mathematics 606 $aComputer graphics 606 $aNumerical analysis 606 $aComputer arithmetic and logic units 606 $aAlgorithms 606 $aDiscrete Mathematics in Computer Science 606 $aSymbolic and Algebraic Manipulation 606 $aComputer Graphics 606 $aNumerical Analysis 606 $aArithmetic and Logic Structures 615 0$aAlgorithms. 615 0$aComputer science?Mathematics. 615 0$aDiscrete mathematics. 615 0$aComputer graphics. 615 0$aNumerical analysis. 615 0$aComputer arithmetic and logic units. 615 14$aAlgorithms. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aComputer Graphics. 615 24$aNumerical Analysis. 615 24$aArithmetic and Logic Structures. 676 $a005.1 702 $aGerdt$b Vladimir P$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKoepf$b Wolfram$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMayr$b Ernst W$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aVorozhtsov$b Evgenii V$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466014503316 996 $aComputer Algebra in Scientific Computing$9772100 997 $aUNISA