A Rewriting System for Convex Optimization Problems - Akshay Agrawal; Robin Verschueren; Steven Diamond; Stephen Boyd (2017)