• 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 ...