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