SAS 2016 : Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants

Reference

2016

detail

Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants

Pierre Roux, Yuen-Lam Voronin, and Sriram Sankaranarayanan

SAS 2016: International Static Analysis Symposium

BibTeX

@string{SAS = "International Static Analysis Symposium (SAS)"}
@inproceedings{sdp-sas16,
  author = {Pierre Roux and Yuen-Lam Voronin and Sriram Sankaranarayanan},
  title = {Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants},
  booktitle = SAS,
  year = {2016},
}