Voir la notice de l'article provenant de la source European Digital Mathematics Library
@article{MOMA_1981__92_178031, author = {A. Kovacec}, title = {\"Uber den algorithmischen {Nachweis} von {Ungleichungen} {I.}}, journal = {Monatshefte f\"ur Mathematik}, pages = {19--36}, publisher = {mathdoc}, volume = {92}, year = {1981}, url = {http://geodesic.mathdoc.fr/item/MOMA_1981__92_178031/} }
A. Kovacec. Über den algorithmischen Nachweis von Ungleichungen I.. Monatshefte für Mathematik, Tome 92 (1981), pp. 19-36. http://geodesic.mathdoc.fr/item/MOMA_1981__92_178031/