Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Rewriting System for Convex Optimization Problems   We describe a modular rewriting system for translating optimization problems
written in a domain-specific language to forms compatible with low-level solver
interfaces. Translation is facilitated by reductions, which accept a category
of problems and transform instances of that category to equivalent instances of
another category. Our system proceeds in two key phases: analysis, in which we
attempt to find a suitable solver for a supplied problem, and canonicalization,
in which we rewrite the problem in the selected solver's standard form. We
implement the described system in version 1.0 of CVXPY, a domain-specific
language for mathematical and especially convex optimization. By treating
reductions as first-class objects, our method makes it easy to match problems
to solvers well-suited for them and to support solvers with a wide variety of
standard forms.

13
The categories of this paper are: quant-ph
24
The categories of this paper are: dg-ga
22
The categories of this paper are: chao-dyn
11
The categories of this paper are: hep-lat
8
The categories of this paper are: hep-ex
9
The categories of this paper are: nlin
30
The categories of this paper are: q-alg
5
The categories of this paper are: gr-qc
14
The categories of this paper are: math-ph
23
The categories of this paper are: solv-int
12
The categories of this paper are: nucl-th
35
The categories of this paper are: mtrl-th
28
The categories of this paper are: alg-geom
6
The categories of this paper are: astro-ph
16
The categories of this paper are: stat
18
The categories of this paper are: econ