Combinatorical and Algebraic Structures Seminar
Session details
| Date: | 8.10.2013 |
| Speaker: | Petr Kůrka, CTS, Karlova Univerzita v Praze |
| Title: | Uspořádaná algebraická tělesa |
| Abstract: | Je-li $a$ algebraické reálné číslo, pak $\mathbb{Q}(a)$ je uspořádané těleso a nerovnost je algoritmicky rozhodnutelná na základě Sturmovy věty. |
Return to index.
last update: 27.9.2007, webmaster: Petr Ambrož