TY  - RPRT
TI  - Inverse Inequality Estimates with Symbolic Computation
AU  - Christoph Koutschan
AU  - Martin Neumüller
AU  - Cristian-Silviu Radu
PY  - 2016
DO  - 10.1016/j.aam.2016.04.005
UR  - https://arxiv.org/abs/1602.01304
ID  - 1602.01304
ER  -