Ferenc Bartha (Bergen and Szeged): Computer-aided proofs in dynamics |
|
|
|
|
Thursday, 17. October 2013, 10:00 - 11:30
|
|
| The computational power has increased dramatically since the appearance of the first computers, making them a vital tool in the analysis of dynamical systems. We present further applications of those two basic ideas, namely interval arithmetic and automatic differentiation, that address the question of the reliability of the results and the difficulty of calculating derivatives. We show a way to compute B-series, used in numerical integration techniques, and present results about the stability of certain delay difference equations. Finally we comment on shock-like solutions of the destabilized Kuramoto-Sivashinsky equation. |
|
Location : I. Kórház, Folyóirat-olvasó terem |
Back
JEvents v3.1.8 Stable
Copyright © 2006-2013
Export Event