Blar i Department of Mathematics på forfatter "Bartha, Ferenc A."
-
Computer-aided proofs and algorithms in analysis
Bartha, Ferenc A. (Doctoral thesis, 2013-06-14)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 ...