|
Systems of Polynomial Equations in Economics
Šramková, Kristína ; Tomáš, Jiří (oponent) ; Kureš, Miroslav (vedoucí práce)
Bachelor thesis is based on application of mathematical apparatus for the analysis of economic models, in particular models that lead to a system of polynomial equations. One of the parts is a summary of basic knowledge of algebra focused on Gröbner basis. Hereinafter are discussed economic models in which solution Gröbner basis are applied using the program Wolfram Mathematica. Own software package is implemented into this program as a concept of solution to simplify the calculation and work with models.
|
|
Frölicherova-Nijenhuisova závorka a její aplikace v geometrii a variačním počtu
Šramková, Kristína ; Tomáš, Jiří (oponent) ; Kureš, Miroslav (vedoucí práce)
Diplomová práca objasňuje význam Frölicher-Nijenhuisovej zátvorky a jej aplikácií vo fyzikálnych problémoch. Základným aparátom pre tieto aplikácie je diferenciálna geometria na varietach, tenzorový počet a diferenciálne formy, čomu je venovaná prvá časť práce. V druhej časti je súhrn základnej teórie variačného počtu na varietach spolu s vybranými aplikáciami v oblasti fyziky. Posledná časť práce je venovaná aplikáciám Frölicher-Nijenhuisovej zátvorky pri odvodení Maxwellovych rovníc a tiež pri popise geometrie obyčajných diferenciálnych rovníc.
|
|
Gröbnerovy báze, Čuang-c’ův algoritmus a ataky multivariačních kryptosystémů
Doktorová, Alice ; Tomáš, Jiří (oponent) ; Kureš, Miroslav (vedoucí práce)
Tato diplomová práce je zaměřena na multivariační kryptosystémy. Její součástí je přehled komutativní algebry se zaměřením na Gröbnerovy báze. Z algoritmů jsou studovány především ty, které využívají Gröbnerovy báze a to Buchbergerův algoritmus, který je již implementován v programu Wolfram Mathematica, a F4 algoritmus, pro který byl vytvořen programový balík v prostředí Wolfram Mathematica. Jako poslední je popsán Čuang-c'ův algoritmus, pro který byl pro zjednodušení vytvořen program pro počítání Lagrangeova interpolačního polynomu v jazyce Python.
|
| |
|
Plochy s konstantní Gaussovou křivostí
Zemanová, Silvie ; Kureš, Miroslav (oponent) ; Doupovec, Miroslav (vedoucí práce)
Tato bakalářská práce se zabývá popisem ploch s konstantní Gaussovou křivostí a jejím hlavním cílem je provést klasifikaci těchto ploch. První část je věnována klasifikaci rotačních ploch s konstantní Gaussovou křivostí. Následuje popis vybraných ploch s nulovou Gaussovou křivostí, na kterých je ukázáno, že u nich lze dospět ke stejnému tvaru první základní formy. Další část se věnuje klasifikaci všech ploch s nulovou Gaussovou křivostí. Práce je doplněna obrázky vybraných ploch pro lepší představu a snazší porozumění textu.
|
| |
|
Invarianty jetových grup a aplikace v mechanice kontinua
Buriánek, Martin ; Doupovec, Miroslav (oponent) ; Kureš, Miroslav (vedoucí práce)
Tato práce se zabývá jetovými grupami a jejich maticovými reprezentacemi. V úvodní části práce se věnujeme reprezentacím grup, akcím grup na množinách a invariantům akcí. V další části jsou objasněny pojmy hladká varieta, Lieova grupa a Lieova algebra. Následuje vysvětlení pojmu jet a zavedení jetové grupy jako speciálního případu Lieovy grupy. Nejprve jsou popsány grupy $G_1^r$ a $G_n^1$, poté grupa $G_n^2$ a její podgrupy. U popsaných jetových grup jsou navrženy jejich reprezentace. V závěru práce je nástíněna možnost aplikací jetových grup v mechanice kontinua. Práce je doplněna algoritmizací vybraných problému v softwaru Wolfram Mathematica.
|
| |
|
Lieovy grupy z hlediska kinematiky a aplikací v robotice
Kalenský, Jan ; Kureš, Miroslav (oponent) ; Tomáš, Jiří (vedoucí práce)
Práce se zabývá Lieovou teorií z hlediska kinematiky a robotiky. V úvodní části je vybudován pojem variety jako základní pojem konfiguračního prostoru. Na konfiguračním prostoru je potom zavedena struktura, tj. Lieova grupa. K reprezentaci rychlostí je dále zaveden tečný prostor s vektorovým polem a na něm struktura Lieovy algebry. Tyto dvě struktury jsou propojeny exponenciálním zobrazením. Závěr práce se věnuje fibrovanému prostoru, zejména hlavnímu bandlu a hlavní konexi. V celé práci se objevují mnohé příklady, které dané pojmy ilustrují.
|
|
Okruhy řádu p^2 a p^3
Haluza, Vít ; Hrdina, Jaroslav (oponent) ; Kureš, Miroslav (vedoucí práce)
Tato bakalářská práce se zabývá klasifikací a zkoumaním vlastností okruhů řádu p^2 a p^3 (p je prvočíslo). Jsou zde zavedeny a používány pojmy, jako ideál okruhu nebo polynomy nad konečným polem. Kromě blíže nespecifikovaných abstraktních okruhů jsou uvedeny a klasifikovány také některé speciální typy konečných okruhů. Součástí této práce je také programový balíček, který dokáže automaticky rozpoznat, ve které ze tříd se nachází uživatelem zadaný okruh řádu p^2.
|