@misc{indiciae0408001e30be, title = {Numerical Invariants through Convex Relaxation and Max-Strategy Iteration}, author = {Thomas Martin Gawlitza and Helmut Seidl}, year = {2012}, url = {https://arxiv.org/abs/1204.1147}, note = {Source identifier: 1204.1147} }