%0 Journal Article
%A A. Kovacec
%T Über den algorithmischen Nachweis von Ungleichungen I.
%J Monatshefte für Mathematik
%D 1981
%P 19-36
%V 92
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MOMA_1981__92_178031/
%F MOMA_1981__92_178031