Niniejszy referat będzie miał na celu przedstawienie algorytmu pozwalającego znaleźć triangulacje dla zbiorów semialgebraicznych, a więc zbiorów zdefiniowanych przy pomocy równań i nierówności wielomianowych. Algorytm taki pozwala przejść od formuły logicznej do obiektu ściśle geometrycznego. Podstawowym pojęciem dla geometrii semialgebraicznej, a także głównym narzędziem używanym do wyznaczania triangulacji (oraz ogólnie badania zbiorów semialgebraicznych) jest pojęcie rozkładu komórkowego. W toku referatu zostanie ono precyzyjnie zdefiniowane, oraz podana będzie metoda efektywnego wyznaczania pewnej reprezentacji takich rozkładów.