Využití eliminace kvantifikátorů v řešení jednoduchých optimalizačních úloh. (2017). Učitel Matematiky, 23(2), 91-104. https://test.scied.cz/ucitel/article/view/937