@Article{ 
  HenNalMoh16,
  author = { Henrion, Didier and Naldi, Simone and Safey El Din, Mohab },
  title = { SPECTRA - a Maple library for solving linear matrix inequalities in exact  arithmetic },
  journal = { Optim. Method. Softw. },
  year = { 2019 },
  doi = { https://doi.org/10.1080/10556788.2017.1341505 },
  volume = { 34 },
  number = { 1 },
  pages = { 62-78 },
  URL = { https://gecogedi.dimai.unifi.it/paper/292/ },
  note = { cvgmt preprint}
}