2017. Využití eliminace kvantifikátorů v řešení jednoduchých optimalizačních úloh. Učitel matematiky. 23, 2 (Jun. 2017), 91–104.