@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/