HONZÍK, L.; HORA, J.; KAŠPAROVÁ, M. Využití eliminace kvantifikátorů v řešení jednoduchých optimalizačních úloh. Učitel matematiky, [S. l.], v. 23, n. 2, p. 91-104, 2017. Disponível em: https://ojs.cuni.cz/ucitel/article/view/937. Acesso em: 14 kvě. 2024.