Pablo A. Parrilo

The Lax conjecture is true

  • Adrian Lewis
  • Pablo A. Parrilo
  • M.V. Ramana
    • Categories Convex Optimization, Semi-definite Programming Tags , , ,

    In 1958 Lax conjectured that hyperbolic polynomials in three variables are determinants of linear combinations of three symmetric matrices. This conjecture is equivalent to a recent observation of Helton and Vinnikov. Citation Department of Mathematics, Simon Fraser University, Canada Article Download View The Lax conjecture is true

    SOSTOOLS: Sum of Squares Optimization Toolbox for MATLAB — User’s Guide

  • Antonis Papachristodoulou
  • Stephen Prajna
  • Pablo A. Parrilo
    • Categories Convex Optimization, Problem Solving Environments, Semi-definite Programming Tags ,

    SOSTOOLS is a free MATLAB toolbox for formulating and solving sum of squares (SOS) optimization programs. It uses a simple notation and a flexible and intuitive high-level user interface to specify the SOS programs. Currently these are solved using SeDuMi, a well-known semidefinite programming solver, while SOSTOOLS handles internally all the necessary reformulations and data … Read more