Symbolic computation in hyperbolic programming - Simone Naldi; Daniel Plaumann (2016)