arXiv:1709.04494 [math.OC]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords convex optimization problems, rewriting system, domain-specific language, low-level solver interfaces, translating optimization problems written Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset