%0 Journal Article
%A Honzík, Lukáš
%A Hora, Jaroslav
%A Kašparová, Martina
%T Využití eliminace kvantifikátorů v řešení jednoduchých optimalizačních úloh
%J Učitel matematiky
%D 2015
%P 91-104
%V 23
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/UM_2015__23_2_a2/
%G cz
%F UM_2015__23_2_a2