Honzík, Lukáš, Jaroslav Hora, a Martina Kašparová. „Využití Eliminace kvantifikátorů V řešení jednoduchých optimalizačních úloh". Učitel matematiky 23, no. 2 (červen 20, 2017): 91–104. Viděno květen 21, 2026. https://test.scied.cz/ucitel/article/view/937.