@article{GDZPPN002482703,
title = {\"Uber den algorithmischen Nachweis von Ungleichungen I.},
journal = {Monatshefte f\"ur Mathematik},
volume = {91},
year = {1981},
pages = {19-36},
url = {http://dml.mathdoc.fr/item/GDZPPN002482703}
}
Kovacec, A. Über den algorithmischen Nachweis von Ungleichungen I.. Monatshefte für Mathematik, Tome 91 (1981) pp. 19-36. http://gdmltest.u-ga.fr/item/GDZPPN002482703/