Zpět na vyhledávání

Martin Geletka

Bachelor's thesis

Implementácia Cylindrickej Algebraickej Sub-dekompozície

Implementation of Cylindrical Algebraic Sub-decomposition
Abstract:
Cieľom mojej bakalárskej práce je naštudovat a implementovť algoritmus pre riešenie cylindrickej algebraickej sub-dekompozicie. Tento algoritmus je používaný ako jeden z primárnych nástrojov na analýzu semi-algebraických množín, ktoré majú praktické využite vo výskume spojitých a hybridných modelov. Momentálne nie su voľne dostupné implementácie riešenia tohto problému (všetky vyžadujú komerčný software …more
Abstract:
The goal of my bachelor thesis is to study and implement the algorithm of the full-dimensional cylindrical algebraic decomposition (full-dimensional CAD). The algorithm is used as the primary tool to analyze semi-algebraic sets, which have practical use in research of continuous and hybrid models. Currently there are no openly available implementations of the full-dimensional CAD algorithm (all of …more
 

Keywords

Real algebraic geometry Polynomial projection Computational algebra Polynomial zeros
 
Language used: English
Date on which the thesis was submitted / produced: 27. 5. 2019
Identifier: https://is.muni.cz/th/wgp4y/

Thesis defence

  • Date of defence: 27. 6. 2019
  • Supervisor: Mgr. Samuel Pastva
  • Reader: RNDr. Nikola Beneš, Ph.D.

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Bachelor programme / field:
Informatics / Mathematical Informatics

Theses on a related topic

List of theses with an identical keyword.
  • No theses on a related topic available.