1: \begin{abstract}

2: In this paper, we consider two formulations for Linear Matrix Inequalities (LMIs) under Slater type constraint qualification assumption, namely, SDP smooth and non-smooth formulations. We also propose two first-order linearly convergent algorithms for solving these formulations. Moreover, we introduce a bundle-level method which converges linearly uniformly for both smooth and non-smooth problems and does not require any smoothness information. The convergence properties of these algorithms are also discussed. Finally, we consider a special case of LMIs, linear system of inequalities, and show that a linearly convergent algorithm can be obtained under a weaker assumption. 

3: \vspace{.1in}

4: 

5: \noindent {\bf Keywords: Semi-definite Programming, Linear Matrix Inequalities, Error Bounds, Linear Convergence}

6: 

7: \end{abstract}