{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T02:03:39Z","timestamp":1760061819535,"version":"3.37.3"},"reference-count":16,"publisher":"Informa UK Limited","issue":"1","funder":[{"DOI":"10.13039\/501100001659","name":"French National Research Agency (ANR)","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001824","name":"Grant Agency of the Czech Republic (GA\u010cR)","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001824","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100001027","name":"German Research Foundation (DFG)","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100001027","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["Optimization Methods and Software"],"published-print":{"date-parts":[[2019,1,2]]},"DOI":"10.1080\/10556788.2017.1341505","type":"journal-article","created":{"date-parts":[[2017,6,29]],"date-time":"2017-06-29T06:53:32Z","timestamp":1498719212000},"page":"62-78","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":12,"title":["SPECTRA \u2013 a Maple library for solving linear matrix inequalities in exact arithmetic"],"prefix":"10.1080","volume":"34","author":[{"given":"Didier","family":"Henrion","sequence":"first","affiliation":[{"name":"LAAS-CNRS, Universit\u00e9 de Toulouse, CNRS, Toulouse, France"},{"name":"Faculty of Electrical Engineering, Czech Technical University in Prague, Praha, Czech Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simone","family":"Naldi","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Dortmund, Fakult\u00e4t f\u00fcr Mathematik, Vogelpothsweg 87, 44227 Dortmund, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohab","family":"Safey El Din","sequence":"additional","affiliation":[{"name":"Sorbonne Universit\u00e9s, UPMC Univ Paris 06, CNRS, INRIA, LIP6, PolSys Team, F-75005, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2017,6,29]]},"reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611972290"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1080\/10556789908805769"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1090\/S0025-5718-07-01931-X"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.26493\/1855-3974.518.768"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1137\/15M1036543"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.08.002"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1007\/s10955-008-9632-x"},{"volume-title":"Moments, Positive Polynomials and their Applications","year":"2010","author":"Lasserre J.B.","key":"CIT0011"},{"key":"CIT0015","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-008-0253-6"},{"key":"CIT0016","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.09.025"},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.1007\/BF01100204"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.4171\/JEMS\/620"},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.1080\/10556789908805766"},{"key":"CIT0020","doi-asserted-by":"publisher","DOI":"10.1017\/S0962492901000071"},{"issue":"5","key":"CIT0021","first-page":"492","volume":"61","author":"Vinzant C.","year":"2014","journal-title":"Notices AMS"},{"key":"CIT0022","doi-asserted-by":"publisher","DOI":"10.1137\/1038003"}],"container-title":["Optimization Methods and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10556788.2017.1341505","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,12,29]],"date-time":"2018-12-29T09:52:15Z","timestamp":1546077135000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/10556788.2017.1341505"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,29]]},"references-count":16,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2018,9,6]]},"published-print":{"date-parts":[[2019,1,2]]}},"alternative-id":["10.1080\/10556788.2017.1341505"],"URL":"https:\/\/doi.org\/10.1080\/10556788.2017.1341505","relation":{},"ISSN":["1055-6788","1029-4937"],"issn-type":[{"type":"print","value":"1055-6788"},{"type":"electronic","value":"1029-4937"}],"subject":[],"published":{"date-parts":[[2017,6,29]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=goms20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=goms20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2016-12-17","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-06-08","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-06-29","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}