Název: Aplikace Groebnerových bází
Překlad názvu: Applications of Groebner bases
Autoři: Skalová, Marie ; Příhoda, Pavel (vedoucí práce) ; Šťovíček, Jan (oponent)
Typ dokumentu: Bakalářské práce
Rok: 2020
Jazyk: cze
Abstrakt: [cze] [eng]
Groebnerovy báze lze využít jako nástroj algebraické geometrie s aplikací v dokazo- vání geometrických tvrzení. V této práci představujeme metodu automatického dokazo- vání geometrických tvrzení ve dvou variantách, nejprve podle učebnice D. Cox, J. Little, D. O'Shea Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra, následně podle učebnice D. Stanovský, L. Barto, Počítačová algebra. Nejprve zde shrneme potřebnou teorii k odvození metody automa- tického dokazování. Dále teorii potřebnou k definici Groebnerovy báze a k vyslovení vět popisující její základní vlastnosti. Součástí práce jsou řešené příklady, na kterých jednot- livé kroky metody motivujeme, a také řešené příklady z již zmíněné učebnice autorů D. Cox, J. Little, D. O'Shea, některé z nich oběma variantami. V druhé kapitole se nachází vlastní důkaz rozkladu konkrétní algebraické množiny. 1 Groebner bases are useful tool of algebraic geometry for geometry proving. In the thesis we are presenting an automatic geometric theorem proving method in two vari- ants. Firstly, a variant based on the book D. Cox, J. Little, D. O'Shea Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra and secondly a variant based on the book D. Stanovský, L. Barto, Počítačová algebra. We summarize theory, which is necessary for deduction of the method, then the- ory, which is necessary for definition of Groebner base and theorem about her properties. The thesis is including solved problems used for motivate several steps in method and solved exercises from already mentioned book by D. Cox, J. Little, D. O'Shea, some of them are solved by both variants. There is also own proof of decomposition of an affine variety in chapter 2. 1
Klíčová slova: algebraická geometrie; geometrie; Groebnerova báze; algebraic geometry; geometry; Groebner base

Instituce: Fakulty UK (VŠKP) (web)
Informace o dostupnosti dokumentu: Dostupné v digitálním repozitáři UK.
Původní záznam: http://hdl.handle.net/20.500.11956/120685

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-434657


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Univerzita Karlova > Fakulty UK (VŠKP)
Vysokoškolské kvalifikační práce > Bakalářské práce