Numerical verification methods and computer-assisted proofs for partial differential equations:
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Singapore
Springer
[2019]
|
| Schriftenreihe: | Springer series in computational mathematics
volume 53 |
| Schlagworte: | |
| Online-Zugang: | BTU01 FHN01 FHR01 FRO01 FWS01 FWS02 HTW01 TUM01 UBA01 UBM01 UBT01 UBW01 UBY01 UEI01 UPA01 URL des Erstveröffentlichers |
| Beschreibung: | 1 Online-Ressource (xiii, 467 Seiten) Illustrationen, Diagramme |
| ISBN: | 9789811376696 |
| ISSN: | 2198-3712 |
| DOI: | 10.1007/978-981-13-7669-6 |
Internformat
MARC
| LEADER | 00000nmm a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV046283235 | ||
| 003 | DE-604 | ||
| 005 | 20210412 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 191204s2019 |||| o||u| ||||||eng d | ||
| 020 | |a 9789811376696 |c Online |9 978-981-13-7669-6 | ||
| 024 | 7 | |a 10.1007/978-981-13-7669-6 |2 doi | |
| 035 | |a (ZDB-2-SMA)9789811376696 | ||
| 035 | |a (OCoLC)1130266570 | ||
| 035 | |a (DE-599)BVBBV046283235 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-384 |a DE-898 |a DE-861 |a DE-523 |a DE-703 |a DE-863 |a DE-20 |a DE-739 |a DE-634 |a DE-862 |a DE-92 |a DE-824 |a DE-706 |a DE-11 | ||
| 082 | 0 | |a 518 |2 23 | |
| 084 | |a SK 540 |0 (DE-625)143245: |2 rvk | ||
| 084 | |a SK 920 |0 (DE-625)143272: |2 rvk | ||
| 084 | |a MAT 000 |2 stub | ||
| 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 1 Online-Ressource (xiii, 467 Seiten) |b Illustrationen, Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Springer series in computational mathematics |v volume 53 |x 2198-3712 | |
| 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 Numerische Mathematik |0 (DE-588)4042805-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Differentialgleichung |0 (DE-588)4012249-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 Druck-Ausgabe |z 978-981-13-7668-9 |
| 830 | 0 | |a Springer series in computational mathematics |v volume 53 |w (DE-604)BV035421315 |9 53 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-981-13-7669-6 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-SMA | ||
| 940 | 1 | |q ZDB-2-SMA_2019 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-031660815 | ||
| 966 | e | |u https://doi.org/10.1007/978-981-13-7669-6 |l BTU01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-13-7669-6 |l FHN01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-13-7669-6 |l FHR01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-13-7669-6 |l FRO01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-13-7669-6 |l FWS01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-13-7669-6 |l FWS02 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-13-7669-6 |l HTW01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-13-7669-6 |l TUM01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-13-7669-6 |l UBA01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-13-7669-6 |l UBM01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-13-7669-6 |l UBT01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-13-7669-6 |l UBW01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-137-669-6 |l UBY01 |p ZDB-2-SMA |q UBY_PDA_SMA_Kauf |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-13-7669-6 |l UEI01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-13-7669-6 |l UPA01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
Datensatz im Suchindex
| DE-BY-FWS_katkey | 743360 |
|---|---|
| _version_ | 1806190087357071360 |
| any_adam_object | |
| 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 | BV046283235 |
| classification_rvk | SK 540 SK 920 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA |
| ctrlnum | (ZDB-2-SMA)9789811376696 (OCoLC)1130266570 (DE-599)BVBBV046283235 |
| 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 |
| doi_str_mv | 10.1007/978-981-13-7669-6 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03963nmm a2200781 cb4500</leader><controlfield tag="001">BV046283235</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210412 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">191204s2019 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789811376696</subfield><subfield code="c">Online</subfield><subfield code="9">978-981-13-7669-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-981-13-7669-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SMA)9789811376696</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1130266570</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046283235</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-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-11</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 540</subfield><subfield code="0">(DE-625)143245:</subfield><subfield code="2">rvk</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">MAT 000</subfield><subfield code="2">stub</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">1 Online-Ressource (xiii, 467 Seiten)</subfield><subfield code="b">Illustrationen, Diagramme</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">Springer series in computational mathematics</subfield><subfield code="v">volume 53</subfield><subfield code="x">2198-3712</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">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="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="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">Druck-Ausgabe</subfield><subfield code="z">978-981-13-7668-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Springer series in computational mathematics</subfield><subfield code="v">volume 53</subfield><subfield code="w">(DE-604)BV035421315</subfield><subfield code="9">53</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-981-13-7669-6</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_2019</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-031660815</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-13-7669-6</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-13-7669-6</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-13-7669-6</subfield><subfield code="l">FHR01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-13-7669-6</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-13-7669-6</subfield><subfield code="l">FWS01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-13-7669-6</subfield><subfield code="l">FWS02</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-13-7669-6</subfield><subfield code="l">HTW01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-13-7669-6</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-13-7669-6</subfield><subfield code="l">UBA01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-13-7669-6</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-13-7669-6</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-13-7669-6</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-137-669-6</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="q">UBY_PDA_SMA_Kauf</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-13-7669-6</subfield><subfield code="l">UEI01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-13-7669-6</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV046283235 |
| illustrated | Not Illustrated |
| indexdate | 2024-08-01T14:58:16Z |
| institution | BVB |
| isbn | 9789811376696 |
| issn | 2198-3712 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-031660815 |
| oclc_num | 1130266570 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-898 DE-BY-UBR DE-861 DE-523 DE-703 DE-863 DE-BY-FWS DE-20 DE-739 DE-634 DE-862 DE-BY-FWS DE-92 DE-824 DE-706 DE-11 |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-898 DE-BY-UBR DE-861 DE-523 DE-703 DE-863 DE-BY-FWS DE-20 DE-739 DE-634 DE-862 DE-BY-FWS DE-92 DE-824 DE-706 DE-11 |
| physical | 1 Online-Ressource (xiii, 467 Seiten) Illustrationen, Diagramme |
| psigel | ZDB-2-SMA ZDB-2-SMA_2019 ZDB-2-SMA UBY_PDA_SMA_Kauf |
| publishDate | 2019 |
| publishDateSearch | 2019 |
| publishDateSort | 2019 |
| publisher | Springer |
| record_format | marc |
| series | Springer series in computational mathematics |
| series2 | Springer series in computational mathematics |
| spellingShingle | Nakao, Mitsuhiro T. Plum, Michael Watanabe, Yoshitaka Numerical verification methods and computer-assisted proofs for partial differential equations Springer series in computational mathematics 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 Numerische Mathematik (DE-588)4042805-9 gnd Differentialgleichung (DE-588)4012249-9 gnd |
| subject_GND | (DE-588)4788218-9 (DE-588)4042805-9 (DE-588)4012249-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_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 Numerische Mathematik (DE-588)4042805-9 gnd Differentialgleichung (DE-588)4012249-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 Numerische Mathematik Differentialgleichung |
| url | https://doi.org/10.1007/978-981-13-7669-6 |
| volume_link | (DE-604)BV035421315 |
| work_keys_str_mv | AT nakaomitsuhirot numericalverificationmethodsandcomputerassistedproofsforpartialdifferentialequations AT plummichael numericalverificationmethodsandcomputerassistedproofsforpartialdifferentialequations AT watanabeyoshitaka numericalverificationmethodsandcomputerassistedproofsforpartialdifferentialequations |