“Využití eliminace kvantifikátorů v řešení jednoduchých optimalizačních úloh” (2017) Učitel matematiky, 23(2), pp. 91–104. Available at: https://test.scied.cz/ucitel/article/view/937 (Accessed: 11 September 2026).