Numerical verification methods and computer-assisted proofs for partial differential equations:
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Singapore
Springer
[2019]
|
| Schriftenreihe: | Springer series in computational mathematics
volume 53 |
| Schlagworte: | |
| Beschreibung: | xiii, 467 Seiten Illustrationen, Diagramme (teilweise farbig) |
| ISBN: | 9789811376689 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV047320747 | ||
| 003 | DE-604 | ||
| 005 | 20221128 | ||
| 007 | t | ||
| 008 | 210610s2019 a||| |||| 00||| eng d | ||
| 020 | |a 9789811376689 |c hardcover |9 978-981-13-7668-9 | ||
| 035 | |a (OCoLC)1175666961 | ||
| 035 | |a (DE-599)BVBBV047320747 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-11 |a DE-83 | ||
| 082 | 0 | |a 518 |2 23 | |
| 084 | |a SK 920 |0 (DE-625)143272: |2 rvk | ||
| 084 | |a SK 540 |0 (DE-625)143245: |2 rvk | ||
| 084 | |a 65Mxx |2 msc | ||
| 084 | |a 35J25 |2 msc | ||
| 084 | |a 65G20 |2 msc | ||
| 084 | |a 65Nxx |2 msc | ||
| 084 | |a 35P15 |2 msc | ||
| 100 | 1 | |a Nakao, Mitsuhiro T. |e Verfasser |0 (DE-588)1203321481 |4 aut | |
| 245 | 1 | 0 | |a Numerical verification methods and computer-assisted proofs for partial differential equations |c Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe |
| 264 | 1 | |a Singapore |b Springer |c [2019] | |
| 264 | 4 | |c © 2019 | |
| 300 | |a xiii, 467 Seiten |b Illustrationen, Diagramme (teilweise farbig) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Springer series in computational mathematics |v volume 53 | |
| 650 | 4 | |a Numerical Analysis | |
| 650 | 4 | |a Mathematical Applications in Computer Science | |
| 650 | 4 | |a Partial Differential Equations | |
| 650 | 4 | |a Numerical analysis | |
| 650 | 4 | |a Computer science—Mathematics | |
| 650 | 4 | |a Computer mathematics | |
| 650 | 4 | |a Partial differential equations | |
| 650 | 0 | 7 | |a Computermathematik |0 (DE-588)4788218-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Differentialgleichung |0 (DE-588)4012249-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Numerische Mathematik |0 (DE-588)4042805-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Numerische Mathematik |0 (DE-588)4042805-9 |D s |
| 689 | 0 | 1 | |a Differentialgleichung |0 (DE-588)4012249-9 |D s |
| 689 | 0 | 2 | |a Computermathematik |0 (DE-588)4788218-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Plum, Michael |e Verfasser |0 (DE-588)17152229X |4 aut | |
| 700 | 1 | |a Watanabe, Yoshitaka |e Verfasser |0 (DE-588)120332166X |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-981-13-7669-6 |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-032723502 | ||
Datensatz im Suchindex
| _version_ | 1804182518372499456 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Nakao, Mitsuhiro T. Plum, Michael Watanabe, Yoshitaka |
| author_GND | (DE-588)1203321481 (DE-588)17152229X (DE-588)120332166X |
| author_facet | Nakao, Mitsuhiro T. Plum, Michael Watanabe, Yoshitaka |
| author_role | aut aut aut |
| author_sort | Nakao, Mitsuhiro T. |
| author_variant | m t n mt mtn m p mp y w yw |
| building | Verbundindex |
| bvnumber | BV047320747 |
| classification_rvk | SK 920 SK 540 |
| ctrlnum | (OCoLC)1175666961 (DE-599)BVBBV047320747 |
| dewey-full | 518 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 518 - Numerical analysis |
| dewey-raw | 518 |
| dewey-search | 518 |
| dewey-sort | 3518 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| discipline_str_mv | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02159nam a2200577 cb4500</leader><controlfield tag="001">BV047320747</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20221128 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">210610s2019 a||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789811376689</subfield><subfield code="c">hardcover</subfield><subfield code="9">978-981-13-7668-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1175666961</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047320747</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">518</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 920</subfield><subfield code="0">(DE-625)143272:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 540</subfield><subfield code="0">(DE-625)143245:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">65Mxx</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">35J25</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">65G20</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">65Nxx</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">35P15</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Nakao, Mitsuhiro T.</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1203321481</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Numerical verification methods and computer-assisted proofs for partial differential equations</subfield><subfield code="c">Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">Springer</subfield><subfield code="c">[2019]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2019</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xiii, 467 Seiten</subfield><subfield code="b">Illustrationen, Diagramme (teilweise farbig)</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Springer series in computational mathematics</subfield><subfield code="v">volume 53</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Numerical Analysis</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Applications in Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Partial Differential Equations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Numerical analysis</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science—Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Partial differential equations</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computermathematik</subfield><subfield code="0">(DE-588)4788218-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Differentialgleichung</subfield><subfield code="0">(DE-588)4012249-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Numerische Mathematik</subfield><subfield code="0">(DE-588)4042805-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Numerische Mathematik</subfield><subfield code="0">(DE-588)4042805-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Differentialgleichung</subfield><subfield code="0">(DE-588)4012249-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Computermathematik</subfield><subfield code="0">(DE-588)4788218-9</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">Plum, Michael</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)17152229X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Watanabe, Yoshitaka</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)120332166X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-981-13-7669-6</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032723502</subfield></datafield></record></collection> |
| id | DE-604.BV047320747 |
| illustrated | Illustrated |
| index_date | 2024-07-03T17:29:08Z |
| indexdate | 2024-07-10T09:08:49Z |
| institution | BVB |
| isbn | 9789811376689 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032723502 |
| oclc_num | 1175666961 |
| open_access_boolean | |
| owner | DE-11 DE-83 |
| owner_facet | DE-11 DE-83 |
| physical | xiii, 467 Seiten Illustrationen, Diagramme (teilweise farbig) |
| publishDate | 2019 |
| publishDateSearch | 2019 |
| publishDateSort | 2019 |
| publisher | Springer |
| record_format | marc |
| series2 | Springer series in computational mathematics |
| spelling | Nakao, Mitsuhiro T. Verfasser (DE-588)1203321481 aut Numerical verification methods and computer-assisted proofs for partial differential equations Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe Singapore Springer [2019] © 2019 xiii, 467 Seiten Illustrationen, Diagramme (teilweise farbig) txt rdacontent n rdamedia nc rdacarrier Springer series in computational mathematics volume 53 Numerical Analysis Mathematical Applications in Computer Science Partial Differential Equations Numerical analysis Computer science—Mathematics Computer mathematics Partial differential equations Computermathematik (DE-588)4788218-9 gnd rswk-swf Differentialgleichung (DE-588)4012249-9 gnd rswk-swf Numerische Mathematik (DE-588)4042805-9 gnd rswk-swf Numerische Mathematik (DE-588)4042805-9 s Differentialgleichung (DE-588)4012249-9 s Computermathematik (DE-588)4788218-9 s DE-604 Plum, Michael Verfasser (DE-588)17152229X aut Watanabe, Yoshitaka Verfasser (DE-588)120332166X aut Erscheint auch als Online-Ausgabe 978-981-13-7669-6 |
| spellingShingle | Nakao, Mitsuhiro T. Plum, Michael Watanabe, Yoshitaka Numerical verification methods and computer-assisted proofs for partial differential equations Numerical Analysis Mathematical Applications in Computer Science Partial Differential Equations Numerical analysis Computer science—Mathematics Computer mathematics Partial differential equations Computermathematik (DE-588)4788218-9 gnd Differentialgleichung (DE-588)4012249-9 gnd Numerische Mathematik (DE-588)4042805-9 gnd |
| subject_GND | (DE-588)4788218-9 (DE-588)4012249-9 (DE-588)4042805-9 |
| title | Numerical verification methods and computer-assisted proofs for partial differential equations |
| title_auth | Numerical verification methods and computer-assisted proofs for partial differential equations |
| title_exact_search | Numerical verification methods and computer-assisted proofs for partial differential equations |
| title_exact_search_txtP | Numerical verification methods and computer-assisted proofs for partial differential equations |
| title_full | Numerical verification methods and computer-assisted proofs for partial differential equations Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe |
| title_fullStr | Numerical verification methods and computer-assisted proofs for partial differential equations Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe |
| title_full_unstemmed | Numerical verification methods and computer-assisted proofs for partial differential equations Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe |
| title_short | Numerical verification methods and computer-assisted proofs for partial differential equations |
| title_sort | numerical verification methods and computer assisted proofs for partial differential equations |
| topic | Numerical Analysis Mathematical Applications in Computer Science Partial Differential Equations Numerical analysis Computer science—Mathematics Computer mathematics Partial differential equations Computermathematik (DE-588)4788218-9 gnd Differentialgleichung (DE-588)4012249-9 gnd Numerische Mathematik (DE-588)4042805-9 gnd |
| topic_facet | Numerical Analysis Mathematical Applications in Computer Science Partial Differential Equations Numerical analysis Computer science—Mathematics Computer mathematics Partial differential equations Computermathematik Differentialgleichung Numerische Mathematik |
| work_keys_str_mv | AT nakaomitsuhirot numericalverificationmethodsandcomputerassistedproofsforpartialdifferentialequations AT plummichael numericalverificationmethodsandcomputerassistedproofsforpartialdifferentialequations AT watanabeyoshitaka numericalverificationmethodsandcomputerassistedproofsforpartialdifferentialequations |