Gerhold, Stefan, and Kauers, Manuel. "A computer proof of Turán's inequality.." JIPAM. Journal of Inequalities in Pure & Applied Mathematics [electronic only] 7.2 (2006): Paper No. 42, 4 p., electronic only-Paper No. 42, 4 p., electronic only. <http://eudml.org/doc/128524>.
@article{Gerhold2006,
author = {Gerhold, Stefan, Kauers, Manuel},
journal = {JIPAM. Journal of Inequalities in Pure & Applied Mathematics [electronic only]},
keywords = {Turán's inequality; cylindrical algebraic decomposition; Turán’s inequality},
language = {eng},
number = {2},
pages = {Paper No. 42, 4 p., electronic only-Paper No. 42, 4 p., electronic only},
publisher = {Victoria University, School of Communications and Informatics},
title = {A computer proof of Turán's inequality.},
url = {http://eudml.org/doc/128524},
volume = {7},
year = {2006},
}
TY - JOUR
AU - Gerhold, Stefan
AU - Kauers, Manuel
TI - A computer proof of Turán's inequality.
JO - JIPAM. Journal of Inequalities in Pure & Applied Mathematics [electronic only]
PY - 2006
PB - Victoria University, School of Communications and Informatics
VL - 7
IS - 2
SP - Paper No. 42, 4 p., electronic only
EP - Paper No. 42, 4 p., electronic only
LA - eng
KW - Turán's inequality; cylindrical algebraic decomposition; Turán’s inequality
UR - http://eudml.org/doc/128524
ER -
