Holdings: Formal algorithmic elimination for PDEs

Formal algorithmic elimination for PDEs:

Saved in:

Bibliographic Details
Main Author:	Robertz, Daniel 1977- (Author)
Format:	Electronic eBook
Language:	English
Published:	Cham [u.a.] Springer 2014
Series:	Lecture notes in mathematics 2121
Subjects:	Partielle Differentialgleichung
Online Access:	Volltext Inhaltsverzeichnis Abstract
Physical Description:	1 Online-Ressource (VIII, 283 S.)
ISBN:	9783319114453
DOI:	10.1007/978-3-319-11445-3

Staff View

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

Record in the Search Index

_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

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text

MARC

Record in the Search Index

There is no print copy available.

Similar Items