# A computer proof of Turán's inequality.

Gerhold, Stefan; Kauers, Manuel

JIPAM. Journal of Inequalities in Pure & Applied Mathematics [electronic only] (2006)

- Volume: 7, Issue: 2, page Paper No. 42, 4 p., electronic only-Paper No. 42, 4 p., electronic only
- ISSN: 1443-5756

## Access Full Article

top## How to cite

topGerhold, 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 -

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.