Formal algorithmic elimination for PDEs:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham [u.a.]
Springer
2014
|
| Schriftenreihe: | Lecture notes in mathematics
2121 |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (VIII, 283 S.) |
| ISBN: | 9783319114453 |
| DOI: | 10.1007/978-3-319-11445-3 |
Internformat
MARC
| LEADER | 00000nmm a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV042224113 | ||
| 003 | DE-604 | ||
| 005 | 20150120 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 141204s2014 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319114453 |c eBook |9 978-3-319-11445-3 | ||
| 024 | 7 | |a 10.1007/978-3-319-11445-3 |2 doi | |
| 035 | |a (OCoLC)894705260 | ||
| 035 | |a (DE-599)BVBBV042224113 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-824 |a DE-91 |a DE-384 |a DE-703 |a DE-19 |a DE-739 |a DE-20 |a DE-634 |a DE-861 |a DE-83 | ||
| 082 | 0 | |a 510 | |
| 084 | |a SI 850 |0 (DE-625)143199: |2 rvk | ||
| 084 | |a MAT 000 |2 stub | ||
| 084 | |a MAT 350f |2 stub | ||
| 100 | 1 | |a Robertz, Daniel |d 1977- |e Verfasser |0 (DE-588)132037262 |4 aut | |
| 245 | 1 | 0 | |a Formal algorithmic elimination for PDEs |c Daniel Robertz |
| 264 | 1 | |a Cham [u.a.] |b Springer |c 2014 | |
| 300 | |a 1 Online-Ressource (VIII, 283 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in mathematics |v 2121 | |
| 650 | 0 | 7 | |a Partielle Differentialgleichung |0 (DE-588)4044779-0 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Partielle Differentialgleichung |0 (DE-588)4044779-0 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Paperback |z 978-3-319-11444-6 |
| 830 | 0 | |a Lecture notes in mathematics |v 2121 |w (DE-604)BV014303148 |9 2121 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-11445-3 |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=027662563&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=027662563&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-LNM |a ZDB-2-SMA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027662563 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804152754038374400 |
|---|---|
| adam_text | FORMAL ALGORITHMIC ELIMINATION FOR PDES
/ ROBERTZ, DANIEL
: 2014
TABLE OF CONTENTS / INHALTSVERZEICHNIS
INTRODUCTION
FORMAL METHODS FOR PDE SYSTEMS
DIFFERENTIAL ELIMINATION FOR ANALYTIC FUNCTIONS
BASIC PRINCIPLES AND SUPPLEMENTARY MATERIAL
REFERENCES
LIST OF ALGORITHMS
LIST OF EXAMPLES
INDEX OF NOTATION
INDEX
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
FORMAL ALGORITHMIC ELIMINATION FOR PDES
/ ROBERTZ, DANIEL
: 2014
ABSTRACT / INHALTSTEXT
INVESTIGATING THE CORRESPONDENCE BETWEEN SYSTEMS OF PARTIAL DIFFERENTIAL
EQUATIONS AND THEIR ANALYTIC SOLUTIONS USING A FORMAL APPROACH, THIS
MONOGRAPH PRESENTS ALGORITHMS TO DETERMINE THE SET OF ANALYTIC SOLUTIONS
OF SUCH A SYSTEM AND CONVERSELY TO FIND DIFFERENTIAL EQUATIONS WHOSE SET
OF SOLUTIONS COINCIDES WITH A GIVEN PARAMETRIZED SET OF ANALYTIC
FUNCTIONS. AFTER GIVING A DETAILED INTRODUCTION TO JANET BASES AND
THOMAS DECOMPOSITION, THE PROBLEM OF FINDING AN IMPLICIT DESCRIPTION OF
CERTAIN SETS OF ANALYTIC FUNCTIONS IN TERMS OF DIFFERENTIAL EQUATIONS IS
ADDRESSED. EFFECTIVE METHODS OF VARYING GENERALITY ARE DEVELOPED TO
SOLVE THE DIFFERENTIAL ELIMINATION PROBLEMS THAT ARISE IN THIS CONTEXT.
IN PARTICULAR, IT IS DEMONSTRATED HOW THE SYMBOLIC SOLUTION OF PARTIAL
DIFFERENTIAL EQUATIONS PROFITS FROM THE STUDY OF THE IMPLICITIZATION
PROBLEM. FOR INSTANCE, CERTAIN FAMILIES OF EXACT SOLUTIONS OF THE
NAVIER-STOKES EQUATIONS CAN BE COMPUTED
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author | Robertz, Daniel 1977- |
| author_GND | (DE-588)132037262 |
| author_facet | Robertz, Daniel 1977- |
| author_role | aut |
| author_sort | Robertz, Daniel 1977- |
| author_variant | d r dr |
| building | Verbundindex |
| bvnumber | BV042224113 |
| classification_rvk | SI 850 |
| classification_tum | MAT 000 MAT 350f |
| collection | ZDB-2-LNM ZDB-2-SMA |
| ctrlnum | (OCoLC)894705260 (DE-599)BVBBV042224113 |
| 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 | Mathematik |
| doi_str_mv | 10.1007/978-3-319-11445-3 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02099nmm a2200445 cb4500</leader><controlfield tag="001">BV042224113</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150120 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">141204s2014 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319114453</subfield><subfield code="c">eBook</subfield><subfield code="9">978-3-319-11445-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-11445-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)894705260</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042224113</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-824</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 850</subfield><subfield code="0">(DE-625)143199:</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="084" ind1=" " ind2=" "><subfield code="a">MAT 350f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Robertz, Daniel</subfield><subfield code="d">1977-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)132037262</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal algorithmic elimination for PDEs</subfield><subfield code="c">Daniel Robertz</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VIII, 283 S.)</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 mathematics</subfield><subfield code="v">2121</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Partielle Differentialgleichung</subfield><subfield code="0">(DE-588)4044779-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Partielle Differentialgleichung</subfield><subfield code="0">(DE-588)4044779-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Paperback</subfield><subfield code="z">978-3-319-11444-6</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in mathematics</subfield><subfield code="v">2121</subfield><subfield code="w">(DE-604)BV014303148</subfield><subfield code="9">2121</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-11445-3</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=027662563&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=027662563&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-LNM</subfield><subfield code="a">ZDB-2-SMA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027662563</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV042224113 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:15:44Z |
| institution | BVB |
| isbn | 9783319114453 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027662563 |
| oclc_num | 894705260 |
| open_access_boolean | |
| owner | DE-824 DE-91 DE-BY-TUM DE-384 DE-703 DE-19 DE-BY-UBM DE-739 DE-20 DE-634 DE-861 DE-83 |
| owner_facet | DE-824 DE-91 DE-BY-TUM DE-384 DE-703 DE-19 DE-BY-UBM DE-739 DE-20 DE-634 DE-861 DE-83 |
| physical | 1 Online-Ressource (VIII, 283 S.) |
| psigel | ZDB-2-LNM ZDB-2-SMA |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in mathematics |
| series2 | Lecture notes in mathematics |
| spelling | Robertz, Daniel 1977- Verfasser (DE-588)132037262 aut Formal algorithmic elimination for PDEs Daniel Robertz Cham [u.a.] Springer 2014 1 Online-Ressource (VIII, 283 S.) txt rdacontent c rdamedia cr rdacarrier Lecture notes in mathematics 2121 Partielle Differentialgleichung (DE-588)4044779-0 gnd rswk-swf Partielle Differentialgleichung (DE-588)4044779-0 s 1\p DE-604 Erscheint auch als Druck-Ausgabe, Paperback 978-3-319-11444-6 Lecture notes in mathematics 2121 (DE-604)BV014303148 2121 https://doi.org/10.1007/978-3-319-11445-3 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027662563&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=027662563&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Robertz, Daniel 1977- Formal algorithmic elimination for PDEs Lecture notes in mathematics Partielle Differentialgleichung (DE-588)4044779-0 gnd |
| subject_GND | (DE-588)4044779-0 |
| title | Formal algorithmic elimination for PDEs |
| title_auth | Formal algorithmic elimination for PDEs |
| title_exact_search | Formal algorithmic elimination for PDEs |
| title_full | Formal algorithmic elimination for PDEs Daniel Robertz |
| title_fullStr | Formal algorithmic elimination for PDEs Daniel Robertz |
| title_full_unstemmed | Formal algorithmic elimination for PDEs Daniel Robertz |
| title_short | Formal algorithmic elimination for PDEs |
| title_sort | formal algorithmic elimination for pdes |
| topic | Partielle Differentialgleichung (DE-588)4044779-0 gnd |
| topic_facet | Partielle Differentialgleichung |
| url | https://doi.org/10.1007/978-3-319-11445-3 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027662563&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=027662563&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014303148 |
| work_keys_str_mv | AT robertzdaniel formalalgorithmiceliminationforpdes |