TY  - RPRT
TI  - SPECTRA -- a Maple library for solving linear matrix inequalities in exact arithmetic
AU  - Mohab Safey El Din
AU  - Didier Henrion
AU  - Simone Naldi
AU  - Mohab Safey
AU  - El Din
PY  - 2020
UR  - https://arxiv.org/abs/1611.01947
ID  - 1611.01947
ER  -