Widok zawartości stron
Widok zawartości stron
Matematyka Obliczeniowa
Prowadzący:
Marian Mrozek, Piotr Zgliczyński
Zwyczajowy czas i miejsce: czwartek, 16:15-17:45, sala 1016
Strona WWW: www.ii.uj.edu.pl/zmn/dto/dto.htm
Termin: 04.11.2010
Referent: Łukasz Maciejewski
Tytuł referatu: Algorytm triangulacji zbiorów semialgebraicznych
Streszczenie:
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.