1. E.F. Beckeribach and R. Bellman, Inequalities. J. Springer Verlag, Berlin, 1971.
2. A. Kovačec, Über den algorithmischen Nachweis von Ungleichungen I. Monaten, Math. 92 (1981), 19–35.
3. A. Kovačec, Über den algorithmischen Nachweis von Ungleichungen II, Submitted to: J. Reine Angew. Math.
4. A.W. Marshall and I. Olkin, Inequalities; Theory of Majorization and its Applications. Academic Press, 1979.
5. A.W. Marshall and I. Olkin, Inequalities via majorization — an introduction, pp. — in E.F. Beckenbach (ed.), General Inequalities 3. Birkhauser Verlag, Basel, Stuttgart, New York, 1982.