Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants.
Pierre Roux, Yuen-Lam Voronin, Sriram Sankaranarayanan
Browse the full SAS paper archive.
Pierre Roux, Yuen-Lam Voronin, Sriram Sankaranarayanan
Browse the full SAS paper archive.