SeDuMi version 1.05, Oct. 2001. Latest version available at http://sedumi.ie.lehigh.edu (0)

by J Sturm