• Gradovaná Lieova teorie 

      Autor: Rudolf Šmolka; Vedoucí práce: Vysoký Jan; Oponent práce: Jurčo Branislav
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-05-27)
      V této práci se zabýváme zobecněním některých základních definic a poznatků Lieovy teorie do prostředí Z-gradovaných variet. Uvedeme nezbytné základy teorie kategorií a teorie gradovaných variet, zavedeme ekvivalenty grup ...
    • Poissonovy struktury na Lieových grupách 

      Autor: Vysoký Jan; Vedoucí práce: Hlavatý Ladislav; Oponent práce: Fecko Marián
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2011-10-14)
    • Zobecněná geometrie a Palatiniho formalismus 

      Autor: Filip Moučka; Vedoucí práce: Vysoký Jan; Oponent práce: Jurčo Branislav
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-05-27)
      Strunovou efektivní akci a jí příslušející pohybové rovnice lze přeformulovat pomocí konexí na Courantově algebroidu. Cílem práce je pro tuto přeformulovanou akci vytvořit obdobu Palatiniho formalismu z obecné teorie ...