TY  - RPRT
TI  - Some notes on a method for proving inequalities by computer
AU  - Bojan D. Banjac
AU  - Milica D. Makragic
AU  - Branko J. Malesevic
PY  - 2015
DO  - 10.1007/s00025-015-0485-8
UR  - https://arxiv.org/abs/math/0701020
ID  - math/0701020
ER  -