{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,28]],"date-time":"2026-03-28T15:03:06Z","timestamp":1774710186350,"version":"3.50.1"},"reference-count":58,"publisher":"Informa UK Limited","issue":"1","content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["Journal of Control and Decision"],"published-print":{"date-parts":[[2018,1,2]]},"DOI":"10.1080\/23307706.2017.1397554","type":"journal-article","created":{"date-parts":[[2018,1,19]],"date-time":"2018-01-19T12:57:10Z","timestamp":1516366630000},"page":"42-60","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":551,"title":["A rewriting system for convex optimization problems"],"prefix":"10.1080","volume":"5","author":[{"given":"Akshay","family":"Agrawal","sequence":"first","affiliation":[{"name":"Department of Computer Science, Stanford University, Stanford, CA, USA."},{"name":"Department of Electrical Engineering, Stanford University, Stanford, CA, USA."}]},{"given":"Robin","family":"Verschueren","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Mikrosystemtechnik, Albert-Ludwigs-Universit\u00e4t Freiburg, Germany."}]},{"given":"Steven","family":"Diamond","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Stanford University, Stanford, CA, USA."},{"name":"Department of Electrical Engineering, Stanford University, Stanford, CA, USA."}]},{"given":"Stephen","family":"Boyd","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Stanford University, Stanford, CA, USA."},{"name":"Department of Electrical Engineering, Stanford University, Stanford, CA, USA."}]}],"member":"301","published-online":{"date-parts":[[2018,1,19]]},"reference":[{"key":"CIT0001","volume-title":"Compilers: Principles, techniques, and tools","author":"Aho A.","year":"2006","edition":"2"},{"key":"CIT0002","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s10107-002-0339-5","volume":"95","author":"Alizadeh F.","year":"2001","journal-title":"Mathematical Programming"},{"issue":"2","key":"CIT0003","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/BF01586000","volume":"71","author":"Andersen E.","year":"1995","journal-title":"Mathematical Programming"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1137\/06066847X"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804090"},{"key":"CIT0006","author":"Banjac G.","year":"2017","journal-title":"Optimization Online"},{"key":"CIT0007","volume-title":"Linear network optimization: Algorithms and codes","author":"Bertsekas D.","year":"1991"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970777"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1007\/s11081-007-9001-7"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804441"},{"key":"CIT0011","unstructured":"Bradley, A. M. (2010). Algorithms for the equilibration of matrices and their application to limited-memory quasi-Newton methods (Unpublished doctoral dissertation). Stanford University."},{"key":"CIT0012","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/978-3-642-45535-3_12","volume-title":"Redundancy in mathematical programming: A state-of-the-art survey","author":"Bradley G.","year":"1983"},{"issue":"1","key":"CIT0013","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/BF01580428","volume":"8","author":"Brearley A.","year":"1975","journal-title":"Mathematical Programming"},{"issue":"3","key":"CIT0014","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1145\/58859.58863","volume":"23","author":"Brook A.","year":"1988","journal-title":"SIGNUM Newsletter"},{"key":"CIT0016","doi-asserted-by":"crossref","DOI":"10.1515\/9781400884179","volume-title":"Linear programming and extensions (Technical Report R-366-PR)","author":"Dantzig G.","year":"1963"},{"key":"CIT0017","volume-title":"Linear programming 1: Introduction","author":"Dantzig G.","year":"1997"},{"issue":"83","key":"CIT0018","first-page":"1","volume":"17","author":"Diamond S.","year":"2016","journal-title":"Journal of Machine Learning Research"},{"key":"CIT0019","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/978-3-319-42056-1_7","volume-title":"Optimization and its applications in control and data sciences","volume":"115","author":"Diamond S.","year":"2016"},{"issue":"2","key":"CIT0020","doi-asserted-by":"crossref","first-page":"436","DOI":"10.1007\/s10957-016-0990-2","volume":"172","author":"Diamond S.","year":"2016","journal-title":"Journal of Optimization Theory and Applications"},{"key":"CIT0022","doi-asserted-by":"publisher","DOI":"10.1137\/15M1020575"},{"key":"CIT0023","doi-asserted-by":"publisher","DOI":"10.1007\/s12532-014-0071-1"},{"key":"CIT0024","first-page":"257","volume-title":"Emerging theory, methods, and applications","author":"Forrest J.","year":"2005"},{"key":"CIT0025","volume-title":"Parameter selection and pre-conditioning for a graph form solver","author":"Fougner C.","year":"2015"},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.1287\/mnsc.36.5.519"},{"key":"CIT0027","doi-asserted-by":"publisher","DOI":"10.1137\/S1052623400366218"},{"key":"CIT0028","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611971248.ch4","volume-title":"Theory of the combination of observations least subject to errors","author":"Gauss C.","year":"1995"},{"key":"CIT0029","doi-asserted-by":"publisher","DOI":"10.1145\/227683.227684"},{"issue":"2","key":"CIT0030","doi-asserted-by":"crossref","first-page":"442","DOI":"10.1016\/j.jcss.2003.07.012","volume":"68","author":"Goemans M.","year":"2004","journal-title":"Journal of Computer System Sciences"},{"key":"CIT0031","unstructured":"Grant, M. (2004). Disciplined convex programming (Unpublished doctoral dissertation). Stanford University."},{"key":"CIT0032","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84800-155-8_7"},{"key":"CIT0033","volume-title":"CVX: Matlab software for disciplined convex programming version 2.1","author":"Grant M.","year":"2014"},{"key":"CIT0034","volume-title":"Gurobi optimizer reference manual","year":"2017"},{"key":"CIT0035","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-84858-7"},{"issue":"4","key":"CIT0036","volume":"28","author":"Hudak P.","year":"1996","journal-title":"ACM Computing Surveys"},{"key":"CIT0037","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970944"},{"issue":"3","key":"CIT0038","doi-asserted-by":"crossref","first-page":"573","DOI":"10.1007\/s00165-014-0326-7","volume":"27","author":"Kirchner F.","year":"2015","journal-title":"Formal Aspects of Computing"},{"key":"CIT0040","volume-title":"GNU Linear Programming Kit v4.60","author":"Makhorin A.","year":"2016"},{"key":"CIT0041","doi-asserted-by":"publisher","DOI":"10.1145\/1118890.1118892"},{"key":"CIT0042","volume-title":"MOSEK optimization suite","year":"2017"},{"key":"CIT0043","doi-asserted-by":"publisher","DOI":"10.1080\/10556789208805510"},{"key":"CIT0044","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970791"},{"key":"CIT0045","doi-asserted-by":"publisher","DOI":"10.1007\/s10957-016-0892-3"},{"key":"CIT0046","volume-title":"Computational complexity","author":"Papadimitriou C.","year":"1994"},{"key":"CIT0047","doi-asserted-by":"publisher","DOI":"10.1007\/s12532-013-0061-8"},{"key":"CIT0048","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-003-0387-5"},{"key":"CIT0049","doi-asserted-by":"crossref","first-page":"1762","DOI":"10.1109\/ICCV.2011.6126441","volume-title":"Proceedings of the 2011 International Conference on Computer Vision","author":"Pock T.","year":"2011"},{"key":"CIT0050","volume-title":"Introduction to the theory of computation","author":"Sipser M.","year":"1996","edition":"1"},{"key":"CIT0051","doi-asserted-by":"publisher","DOI":"10.1007\/BF02165096"},{"key":"CIT0052","unstructured":"Smith, E. M. d. B. (1996). On the optimal design of continuous processes (Unpublished doctoral dissertation). Imperial College London (University of London)."},{"key":"CIT0053","volume-title":"Using the GNU compiler collection: A GNU manual for GCC Version 7.2.0","author":"Stallman R. M.","year":"2017"},{"issue":"3","key":"CIT0054","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1214\/aos\/1176345451","volume":"9","author":"Stigler S.","year":"1981","journal-title":"The Annals of Statistics"},{"key":"CIT0055","doi-asserted-by":"publisher","DOI":"10.1080\/10556789908805766"},{"key":"CIT0056","volume-title":"Preconditioning via diagonal scaling","author":"Takapoui R.","year":"2016"},{"key":"CIT0057","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1007\/BFb0120718","volume-title":"Computational practice in mathematical programming","author":"Tomlin J.","year":"1975"},{"issue":"1","key":"CIT0058","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/0167-6377(86)90093-3","volume":"5","author":"Tomlin L.","year":"1986","journal-title":"Operations Research Letters"},{"key":"CIT0059","volume-title":"SC14 Workshop on High Performance Technical Computing in Dynamic Languages","author":"Udell M.","year":"2014"},{"issue":"4","key":"CIT0060","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1561\/2400000006","volume":"1","author":"Vandenberghe L.","year":"2015","journal-title":"Foundations and Trends in Optimization"},{"key":"CIT0061","doi-asserted-by":"publisher","DOI":"10.1137\/1038003"}],"container-title":["Journal of Control and Decision"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/23307706.2017.1397554","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,19]],"date-time":"2018-01-19T12:57:55Z","timestamp":1516366675000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/23307706.2017.1397554"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,1,2]]},"references-count":58,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2017,11,20]]},"published-print":{"date-parts":[[2018,1,2]]}},"alternative-id":["10.1080\/23307706.2017.1397554"],"URL":"https:\/\/doi.org\/10.1080\/23307706.2017.1397554","relation":{},"ISSN":["2330-7706","2330-7714"],"issn-type":[{"value":"2330-7706","type":"print"},{"value":"2330-7714","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,1,2]]},"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=tjcd20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tjcd20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"}]}}