Computer algebra in scientific computing: 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013; proceedings
Saved in:
| Format: | Electronic Conference Proceeding eBook |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2013
|
| Series: | Lecture notes in computer science
8136 |
| Subjects: | |
| Online Access: | Volltext Inhaltsverzeichnis Abstract |
| Physical Description: | 1 Online-Ressource (XV, 442 S.) graph. Darst. |
| ISBN: | 9783319022963 9783319022970 |
| DOI: | 10.1007/978-3-319-02297-0 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041385920 | ||
| 003 | DE-604 | ||
| 005 | 20150923 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 131029s2013 gw d||| o|||| 10||| eng d | ||
| 020 | |a 9783319022963 |9 978-3-319-02296-3 | ||
| 020 | |a 9783319022970 |c Online |9 978-3-319-02297-0 | ||
| 024 | 7 | |a 10.1007/978-3-319-02297-0 |2 doi | |
| 035 | |a (OCoLC)874372738 | ||
| 035 | |a (DE-599)BVBBV041385920 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-739 |a DE-473 |a DE-M347 |a DE-20 |a DE-703 |a DE-Aug4 |a DE-92 |a DE-29 |a DE-859 |a DE-91 |a DE-706 |a DE-384 |a DE-634 |a DE-355 | ||
| 082 | 0 | |a 510 | |
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 702f |2 stub | ||
| 245 | 1 | 0 | |a Computer algebra in scientific computing |b 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013; proceedings |c Vladimir P. Gerdt ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a 1 Online-Ressource (XV, 442 S.) |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 8136 | |
| 650 | 0 | 7 | |a Computeralgebra |0 (DE-588)4010449-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wissenschaftliches Rechnen |0 (DE-588)4338507-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2013 |z Berlin |2 gnd-content | |
| 689 | 0 | 0 | |a Wissenschaftliches Rechnen |0 (DE-588)4338507-2 |D s |
| 689 | 0 | 1 | |a Computeralgebra |0 (DE-588)4010449-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Gerdt, Vladimir P. |d 1947- |e Sonstige |0 (DE-588)107684264X |4 oth | |
| 711 | 2 | |a CASC |n 15 |d 2013 |c Berlin |j Sonstige |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 8136 |w (DE-604)BV014880109 |9 8136 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-02297-0 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026833818&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026833818&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-LNC | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-026833818 | |
Record in the Search Index
| _version_ | 1820875475827818496 |
|---|---|
| adam_text |
COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING
/
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
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
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING
/
: 2013
ABSTRACT / INHALTSTEXT
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
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| author_GND | (DE-588)107684264X |
| building | Verbundindex |
| bvnumber | BV041385920 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 000 DAT 702f |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)874372738 (DE-599)BVBBV041385920 |
| dewey-full | 510 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics |
| dewey-raw | 510 |
| dewey-search | 510 |
| dewey-sort | 3510 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| doi_str_mv | 10.1007/978-3-319-02297-0 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV041385920</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150923</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">131029s2013 gw d||| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319022963</subfield><subfield code="9">978-3-319-02296-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319022970</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-02297-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-02297-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)874372738</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041385920</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 702f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computer algebra in scientific computing</subfield><subfield code="b">15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013; proceedings</subfield><subfield code="c">Vladimir P. Gerdt ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XV, 442 S.)</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8136</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computeralgebra</subfield><subfield code="0">(DE-588)4010449-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wissenschaftliches Rechnen</subfield><subfield code="0">(DE-588)4338507-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2013</subfield><subfield code="z">Berlin</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Wissenschaftliches Rechnen</subfield><subfield code="0">(DE-588)4338507-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Computeralgebra</subfield><subfield code="0">(DE-588)4010449-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gerdt, Vladimir P.</subfield><subfield code="d">1947-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)107684264X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CASC</subfield><subfield code="n">15</subfield><subfield code="d">2013</subfield><subfield code="c">Berlin</subfield><subfield code="j">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8136</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8136</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-02297-0</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026833818&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026833818&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026833818</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2013 Berlin gnd-content |
| genre_facet | Konferenzschrift 2013 Berlin |
| id | DE-604.BV041385920 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:16:14Z |
| institution | BVB |
| isbn | 9783319022963 9783319022970 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026833818 |
| oclc_num | 874372738 |
| open_access_boolean | |
| owner | DE-739 DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-384 DE-634 DE-355 DE-BY-UBR |
| owner_facet | DE-739 DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-384 DE-634 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XV, 442 S.) graph. Darst. |
| psigel | ZDB-2-SCS ZDB-2-LNC |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Computer algebra in scientific computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013; proceedings Vladimir P. Gerdt ... (eds.) Berlin [u.a.] Springer 2013 1 Online-Ressource (XV, 442 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8136 Computeralgebra (DE-588)4010449-7 gnd rswk-swf Wissenschaftliches Rechnen (DE-588)4338507-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Berlin gnd-content Wissenschaftliches Rechnen (DE-588)4338507-2 s Computeralgebra (DE-588)4010449-7 s DE-604 Gerdt, Vladimir P. 1947- Sonstige (DE-588)107684264X oth CASC 15 2013 Berlin Sonstige oth Lecture notes in computer science 8136 (DE-604)BV014880109 8136 https://doi.org/10.1007/978-3-319-02297-0 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026833818&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026833818&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Computer algebra in scientific computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013; proceedings Lecture notes in computer science Computeralgebra (DE-588)4010449-7 gnd Wissenschaftliches Rechnen (DE-588)4338507-2 gnd |
| subject_GND | (DE-588)4010449-7 (DE-588)4338507-2 (DE-588)1071861417 |
| title | Computer algebra in scientific computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013; proceedings |
| title_auth | Computer algebra in scientific computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013; proceedings |
| title_exact_search | Computer algebra in scientific computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013; proceedings |
| title_full | Computer algebra in scientific computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013; proceedings Vladimir P. Gerdt ... (eds.) |
| title_fullStr | Computer algebra in scientific computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013; proceedings Vladimir P. Gerdt ... (eds.) |
| title_full_unstemmed | Computer algebra in scientific computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013; proceedings Vladimir P. Gerdt ... (eds.) |
| title_short | Computer algebra in scientific computing |
| title_sort | computer algebra in scientific computing 15th international workshop casc 2013 berlin germany september 9 13 2013 proceedings |
| title_sub | 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013; proceedings |
| topic | Computeralgebra (DE-588)4010449-7 gnd Wissenschaftliches Rechnen (DE-588)4338507-2 gnd |
| topic_facet | Computeralgebra Wissenschaftliches Rechnen Konferenzschrift 2013 Berlin |
| url | https://doi.org/10.1007/978-3-319-02297-0 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026833818&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026833818&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT gerdtvladimirp computeralgebrainscientificcomputing15thinternationalworkshopcasc2013berlingermanyseptember9132013proceedings AT cascberlin computeralgebrainscientificcomputing15thinternationalworkshopcasc2013berlingermanyseptember9132013proceedings |