TY - RPRT TI - A Rewriting System for Convex Optimization Problems AU - Akshay Agrawal AU - Robin Verschueren AU - Steven Diamond AU - Stephen Boyd PY - 2019 UR - https://arxiv.org/abs/1709.04494 ID - 1709.04494 ER -