Martin Geletka

Bakalářská práce

Implementácia Cylindrickej Algebraickej Sub-dekompozície

Implementation of Cylindrical Algebraic Sub-decomposition
Anotace:
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 …více
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 …více
 
 
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 27. 5. 2019

Obhajoba závěrečné práce

  • Obhajoba proběhla 27. 6. 2019
  • Vedoucí: Mgr. Samuel Pastva
  • Oponent: RNDr. Nikola Beneš, Ph.D.

Citační záznam

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Informatika / Matematická informatika

Práce na příbuzné téma

  • Žádné práce na příbuzné téma.