SPECTRA – a Maple library for solving linear matrix inequalities in exact arithmetic

  • Didier Henrion
  • Simone Naldi
  • Mohab Safey El Din
    • Categories Semi-definite Programming Tags , , , , Short URL: https://optimization-online.org/?p=14259

    This document briefly describes our freely distributed Maple library {\sc spectra}, for Semidefinite Programming solved Exactly with Computational Tools of Real Algebra. It solves linear matrix inequalities in exact arithmetic and it is targeted to small-size, possibly degenerate problems for which symbolic infeasibility or feasibility certificates are required.

    Article

    Download

    View SPECTRA - a Maple library for solving linear matrix inequalities in exact arithmetic