Efficient algorithms for rigorous integration forward in time of dPDEs : existence of globally attracting fixed points of viscous Burgers equation with constant forcing, a computer assisted proof

Cyranka, Jacek

Simple view

Full metadata view

Authors

Statistics

Efficient algorithms for rigorous integration forward in time of dPDEs : existence of globally attracting fixed points of viscous Burgers equation with constant forcing, a computer assisted proof

thesis

Alternative title

Wydajne algorytmy do ścisłego całkowania do przodu w czasie dysypatywnych równań różniczkowych cząstkowych : istnienie globalnie przyciągających punktów stałych dla lepkościowego równania Burgersa ze stałym

Author

Cyranka Jacek

Reviewer

Mucha Bogusław, P.

Wilczak Daniel

Advisor

Zgliczyński Piotr

Institution

Jagiellonian University. Institute of Computer Science

Place

Kraków

Date of defence

2013-06-06

Pages

[4], 102

Keywords in Polish

partial differential equations

computer assisted proof

rigorous numerical method

Keywords in English

równania różniczkowe cząstkowe

dowód wpierany komputerowo

ścisłe metody numeryczne

Callnumber / Number

Dokt. 2013/119

Language

English

dc.affiliation	Wydział Matematyki i Informatyki : Instytut Informatyki	pl
dc.contributor.advisor	Zgliczyński, Piotr - 132902	pl
dc.contributor.author	Cyranka, Jacek - 102918	pl
dc.contributor.institution	Jagiellonian University. Institute of Computer Science	pl
dc.contributor.reviewer	Mucha, Bogusław, P.	pl
dc.contributor.reviewer	Wilczak, Daniel - 132637	pl
dc.date.accessioned	2024-02-26T13:37:08Z
dc.date.available	2024-02-26T13:37:08Z
dc.date.openaccess	0
dc.date.submitted	2013-06-06	pl
dc.description.accesstime	w momencie opublikowania
dc.description.physical	[4], 102	pl
dc.description.version	ostateczna wersja autorska (postprint)
dc.identifier.callnumber	Dokt. 2013/119	pl
dc.identifier.uri	https://ruj.uj.edu.pl/xmlui/handle/item/327456
dc.language	eng	pl
dc.place	Kraków	pl
dc.rights	Copyright	*
dc.rights.licence	OTHER
dc.rights.simpleview	Wolny dostęp
dc.rights.uri	http://ruj.uj.edu.pl/4dspace/License/copyright/licencja_copyright.pdf	*
dc.share.type	otwarte repozytorium
dc.subject.en	równania różniczkowe cząstkowe	pl
dc.subject.en	dowód wpierany komputerowo	pl
dc.subject.en	ścisłe metody numeryczne	pl
dc.subject.pl	partial differential equations	pl
dc.subject.pl	computer assisted proof	pl
dc.subject.pl	rigorous numerical method	pl
dc.title	Efficient algorithms for rigorous integration forward in time of dPDEs : existence of globally attracting fixed points of viscous Burgers equation with constant forcing, a computer assisted proof	pl
dc.title.alternative	Wydajne algorytmy do ścisłego całkowania do przodu w czasie dysypatywnych równań różniczkowych cząstkowych : istnienie globalnie przyciągających punktów stałych dla lepkościowego równania Burgersa ze stałym	pl
dc.type	Thesis	pl
dspace.entity.type	Publication