Využití eliminace kvantifikátorů v řešení jednoduchých optimalizačních úloh. Učitel matematiky, [S. l.], v. 23, n. 2, p. 91–104, 2017. Disponível em: https://test.scied.cz/ucitel/article/view/937. Acesso em: 12 sep. 2026.