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 functionKeywords 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 Display description](/pics/design/14/z/ico/navodek-plus.png)
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 Display description](/pics/design/14/z/ico/navodek-plus.png)
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
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
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
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