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 duben 8, 2025. https://medusa.is.cuni.cz/ucitel/article/view/937.