C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Validating numerical semidefinite programming solvers for polynomial invariants.
Pierre Roux
Yuen-Lam Voronin
Sriram Sankaranarayanan
Published in:
Formal Methods Syst. Des. (2018)
Keyphrases
</>
semidefinite programming
positive semidefinite
numerically stable
symmetric matrix
linear programming
semidefinite
interior point methods
linear matrix inequality
primal dual
kernel matrix
maximum margin
machine learning
objective function
high order