Theses on a related topic (having the same keywords):

degree of continuous mapping, stupen spojiteho zobrazeni, eliminace kvantifikatoru, realne koreny polynomu, real roots of polynomials, sturmova veta, sturm theorem, racionalni funkce, quantifier elimination, tarski-seidenberg theorem, logic of real numbers, tarski-seidenbergova veta, logika realnych cisel, rational function

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Daehnová, Aneta
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Aproximace pomocí racionálních funkcí | Theses on a related topic Display description

2.
Kohl, Štěpán
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Kořeny polynomů | Theses on a related topic

3.
Habarda, Radoslav
Faculty: Faculty of Science
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Eliminace kvantifikátorů v logice komplexních čísel | Theses on a related topic

4.
Síč, Juraj
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Satisfiability of DQBF Using Binary Decision Diagrams | Theses on a related topic