About DML-CZ
|
FAQ
|
Conditions of Use
|
Math Archives
|
Contact Us
Previous
|
Up
|
Next
DML-CZ Home
Učitel matematiky
Volume 23
Author: Hora, Jaroslav
Honzík, Lukáš; Hora, Jaroslav; Kašparová, Martina
:
Využití eliminace kvantifikátorů v řešení jednoduchých optimalizačních úloh
.
(Czech) [Solving elementary optimization problems by quantifier elimination].
Učitel matematiky
,
vol. 23 (2015), issue 2
,
pp. 91-104
Search
Search
This Community
Advanced Search
Browse
Collections
Titles
Authors
MSC
About DML-CZ
Partner of