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 13, 2024. https://ojs.cuni.cz/ucitel/article/view/937.