Seminar 1 - Semialgebraična geometrija

Michel Coste, An introduction to semialgebraic geometry
S. Basu, R. Pollack, M.-F.Roy, Algorithms in Real algebraic geometry, Springer-Verlag Berlin Heidelberg, 2003 (glej polico z rezerviranimi knjigami)
J. Bochnak, M. Coste, M.-F. Roy, Real algebraic geometry, Translated from the 1987 French original, Springer, Berlin, 1998 (glej polico z rezerviranimi knjigami)

16. 2. Uvodni sestanek
23. 2. Projekt 1 (Žnidaršič): Sturmov izrek (Coste 1.1.1-1.1.3)
1. 3. Projekt 2 (Piršič): Realni koreni, ki zadoščajo neenačbam (Coste 1.2.1.-1.2.3)
8. 3. Projekt 3 (Brilej,Edelbaher): Tarski-Seidenbergov izrek (Coste 1.3.1-1.3.4)
15. 3. Projekt 4 (Rupnik): Semialgebraične množice (Coste 2.1.1-2.1.2)
22. 3. Projekt 5 (Božič): Semialgebraične funkcije (Coste 2.2.1-2.2.2)
29. 3. Projekt 6 (Ilnikar): Hermitova metoda (Coste 1.4.1-1.4.3)
5. 4. Projekt 7 (Fettich): Cilindrična algebraična dekompozicija-uvod (Coste 2.3.1-2.3.2 in Basu 5.1)
12. 4. Velikonočni ponedeljek - seminar odpade
19. 4. Projekt 8 (Žibrat,Kocbek) : Cilindrična algebraična dekompozicija-algoritem (Coste 2.3.3 in Basu 12.1.1-12.1.2, lahko dva)
26. 4. dan pred 27. 4. - seminar odpade
3. 5. Projekt 9 (Berdajs): Triangularizabilnost semialgebraičnih množic (Coste 3.1.1, 3.1.2 in 3.2.2)
10. 5. Projekt 10 (Muhič): Urejeni obsegi, realno zaprti obsegi (Bochnak 1.1 -1.3)
17. 5. Projekt 11 (Lešnik): Artin-Langov izrek in Realni Nullstellensatz (Bochnak 4.1-4.2)
24. 5. Projekt 12 (Pretnar): Urejeni kolobarji in Positivstellensatz (Bochnack 4.3-4.4)
31. 5. Zaključni sestanek