Wszystkie pola: Lohner algorithm - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: $C^r$-Lohner algorithm
Autorzy:: Wilczak, Daniel
Zgliczyński, Piotr
Powiązania:: https://bibliotekanauki.pl/articles/1373459.pdf
Data publikacji:: 2011
Wydawca:: Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Tematy:: rigorous integration of ODEs
variational equations
Opis:: We present a Lohner type algorithm for the computation of rigorous bounds for the solutions of ordinary differential equations and its derivatives with respect to the initial conditions up to an arbitrary order.
Źródło:: Schedae Informaticae; 2011, 20; 9-42
0860-0295
2083-8476
Pojawia się w:: Schedae Informaticae
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 2.

Tytuł:: Computer Assisted Proofs in Dissipative Partial Differential Equations
Autorzy:: Cyranka, J.
Powiązania:: https://bibliotekanauki.pl/articles/115445.pdf
Data publikacji:: 2012
Wydawca:: Fundacja na Rzecz Młodych Naukowców
Tematy:: rigorous numerics
Lohner algorithm
viscous Burgers equation
interval arithmetic
dissipative partial differential equations
Opis:: The goal of this paper is to present a brief survey of our research that has focused on studying the dynamics of dissipative partial differential equations by performing computer as sisted proofs. We provide a description of the main ideas behind the computer assisted proofs that we have performed, along with related topics. The emphasis is given to the case of the vis cous Burgers equation with constant forcing, for which the existence of globally attracting fixed points has been established. To achieve this goal, we used a combination of analytical results with computer assistance.
Źródło:: Challenges of Modern Technology; 2012, 3, 3; 3-6
2082-2863
2353-4419
Pojawia się w:: Challenges of Modern Technology
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 3.

Tytuł:: Rigorous Integration of Burgers Equation
Autorzy:: Cyranka, J.
Powiązania:: https://bibliotekanauki.pl/articles/115776.pdf
Data publikacji:: 2011
Wydawca:: Fundacja na Rzecz Młodych Naukowców
Tematy:: rigorous numerics
Lohner algorithm
Burgers equation
rigorous integration
dissipative partial differential equations
interval arithmetics
Opis:: This paper presents techniques that allows to rigorously integrate dissipative partial differential equations. A full case study of an application to the Burgers equation on the line with periodic boundary conditions is presented.
Źródło:: Challenges of Modern Technology; 2011, 2, 3; 3-7
2082-2863
2353-4419
Pojawia się w:: Challenges of Modern Technology
Dostawca treści:: Biblioteka Nauki

Artykuł

Informacja