Aplikace Groebnerových bází

Abstract

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