Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants

Article Details
Title:	Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants
Article URLs:	https://doi.org/10.1007/978-3-662-53413-7_21
Alternative Article URLs:	https://hal.archives-ouvertes.fr/hal-01358703/document
Authors:	Pierre Roux	ONERA – The French Aerospace Lab
	Yuen-Lam Voronin	University of Colorado
	Sriram Sankaranarayanan	University of Colorado
Sharing:	Research produced artifacts
Verification:	Authors have verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://cavale.enseeiht.fr/validatingSDP2016/
Artifact Correspondence Email Addresses:
NSF Award Numbers:	0953941, 1527075
DBLP Key:	conf/sas/RouxVS16
Author Comments:

International Static Analysis Symposium, SAS 2016