@misc{indiciae34c90b046d0c,
  title = {Inverse Inequality Estimates with Symbolic Computation},
  author = {Christoph Koutschan and Martin Neumüller and Cristian-Silviu Radu},
  year = {2016},
  doi = {10.1016/j.aam.2016.04.005},
  url = {https://arxiv.org/abs/1602.01304},
  note = {Source identifier: 1602.01304}
}