2 citations · 3 across the 2 of their papers we have counts for
1 paper · 1 filter
Declan Jagt, Sachin Shivakumar, Peter Seiler +1
We present a new data structure for representation of polynomial variables in the parsing of sum-of-squares (SOS) programs. In SOS programs, the variables s(x;Q) are polynomial i…