TY  - JOUR
AU  - A. Kovacec
TI  - Über den algorithmischen Nachweis von Ungleichungen I.
JO  - Monatshefte für Mathematik
PY  - 1981
SP  - 19
EP  - 36
VL  - 92
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MOMA_1981__92_178031/
ID  - MOMA_1981__92_178031
ER  -