Práce na příbuzné téma (mají shodná klíčová slova):

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

Klíčová slova abecedně | Klíčová slova dle četnosti

1.
Daehnová, Aneta
Fakulta: Přírodovědecká fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Aproximace pomocí racionálních funkcí | Práce na příbuzné téma Zobrazit popisek

2.
Kohl, Štěpán
Fakulta: Přírodovědecká fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Kořeny polynomů | Práce na příbuzné téma

3.
Habarda, Radoslav
Fakulta: Přírodovědecká fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Obecná matematika
Obhajoba bakalářské práce: Eliminace kvantifikátorů v logice komplexních čísel | Práce na příbuzné téma

4.
Síč, Juraj
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Satisfiability of DQBF Using Binary Decision Diagrams | Práce na příbuzné téma