@misc{indiciae29df7e8ec8ad,
  title = {Some notes on a method for proving inequalities by computer},
  author = {Bojan D. Banjac and Milica D. Makragic and Branko J. Malesevic},
  year = {2015},
  doi = {10.1007/s00025-015-0485-8},
  url = {https://arxiv.org/abs/math/0701020},
  note = {Source identifier: math/0701020}
}