Über den algorithmischen Nachweis von Ungleichungen I.
Monatshefte für Mathematik, Tome 92 (1981), pp. 19-36
Cet article a éte moissonné depuis 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},
year = {1981},
volume = {92},
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/