• Ljapunovovská stabilita řešení diferenciálních rovnic 

      Autor: Filip Vodňanský; Vedoucí práce: Bohata Martin; Oponent práce: Habala Petr
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-03)
      Práce představuje způsob určení stability ekvilibria nelineárních autonomních systémů. Ukazuje se, že pro navržení řízení, nebo stabilizaci nelze vždy využít linearizaci a je třeba zkoumat samotný nelineární systém. Jedna ...
    • Metody sít v moderní teorii prvočísel 

      Autor: Michal Gabriel; Vedoucí práce: Klazar Martin; Oponent práce: Habala Petr
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-11)
      V teorii čísel umožňují metody sít vyhodnotit počty prvočísel, jejichž rozmístění směrem k nekonečnu je stále záhadou. Až v posledních patnácti letech bylo dokázáno, že existuje mezera mezi dvěma následujícími prvočísly, ...