Original title:
Řešení soustav polynomiálních rovnic
Translated title:
Solving systems of polynomial equations
Authors:
Kubej, Lukáš ; Šťovíček, Jan (advisor) ; Holub, Štěpán (referee) Document type: Bachelor's theses
Year:
2017
Language:
cze Abstract:
[cze][eng] Práce se zabývá teorií kolem soustav polynomiálních rovnic. Jejím cílem je především předvést a dokázat Tvrzení o eliminaci a Tvrzení o rozšíření, přičemž Tvrzení o eliminaci pomáhá řešit zadané polynomiální soustavy a Tvrzení o rozšíření nám umožňuje určit, která z částečných řešení půjde s jistotou doplnit na řešení kompletní. Pro formulaci a důkaz těchto tvrzení vyložíme teorii zabývající se mimo jiné monomickým uspořádáním, algoritmem dělení polynomů a především klíčového pojmu Groebnerovy báze. Nakonec jsou uvedeny řešené příklady ukazující aplikaci teorie popsané v této práci.This work is about theory of systems of polynomial equations. Its main purpose is to prove the Elimination theorem and the Extension theorem, where the Elimination theorem helps us to solve a given systems of polynomial equations and the Extension theorem tells us, which partial solutions can be extended into a complete solutions. To formulate and prove those theorems, we will explain theory including monomial orders, division algorithm for polynomial and mainly the key concept of Groebner basis. At the end are solved examples showing application of explained theory.
Institution: Charles University Faculties (theses)
(web)
Document availability information: Available in the Charles University Digital Repository. Original record: http://hdl.handle.net/20.500.11956/90323