| 000 -LEADER |
|---|
| fixed length control field |
04623nam a22005535i 4500 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20140310144046.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
130814s2013 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783319022970 |
|
978-3-319-02297-0 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.9.A43 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.1 |
| Edition number |
23 |
| 264 #1 - |
|---|
| -- |
Cham : |
| -- |
Springer International Publishing : |
| -- |
Imprint: Springer, |
| -- |
2013. |
| 912 ## - |
|---|
| -- |
ZDB-2-SCS |
|
|---|
| -- |
ZDB-2-LNC |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Gerdt, Vladimir P. |
| Relator term |
editor. |
| 245 10 - IMMEDIATE SOURCE OF ACQUISITION NOTE |
|---|
| Title |
Computer Algebra in Scientific Computing |
| Medium |
[electronic resource] : |
| Remainder of title |
15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings / |
| Statement of responsibility, etc |
edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
XVI, 443 p. 58 illus. |
| Other physical details |
online resource. |
| 440 1# - SERIES STATEMENT/ADDED ENTRY--TITLE |
|---|
| Title |
Lecture Notes in Computer Science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume number/sequential designation |
8136 |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
This 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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science. |
|
|---|
| Topical term or geographic name as entry element |
Computer software. |
|
|---|
| Topical term or geographic name as entry element |
Electronic data processing. |
|
|---|
| Topical term or geographic name as entry element |
Computational complexity. |
|
|---|
| Topical term or geographic name as entry element |
Algebra |
| General subdivision |
Data processing. |
|
|---|
| Topical term or geographic name as entry element |
Computer graphics. |
|
|---|
| Topical term or geographic name as entry element |
Computer Science. |
|
|---|
| Topical term or geographic name as entry element |
Algorithm Analysis and Problem Complexity. |
|
|---|
| Topical term or geographic name as entry element |
Discrete Mathematics in Computer Science. |
|
|---|
| Topical term or geographic name as entry element |
Symbolic and Algebraic Manipulation. |
|
|---|
| Topical term or geographic name as entry element |
Computer Graphics. |
|
|---|
| Topical term or geographic name as entry element |
Numeric Computing. |
|
|---|
| Topical term or geographic name as entry element |
Arithmetic and Logic Structures. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Koepf, Wolfram. |
| Relator term |
editor. |
|
|---|
| Personal name |
Mayr, Ernst W. |
| Relator term |
editor. |
|
|---|
| Personal name |
Vorozhtsov, Evgenii V. |
| Relator term |
editor. |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY |
|---|
| Title |
Springer eBooks |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Display text |
Printed edition: |
| International Standard Book Number |
9783319022963 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
http://dx.doi.org/10.1007/978-3-319-02297-0 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
|
| Item type |
E-Book |
