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ž