Credible Autocoding of The Ellipsoid Algorithm Solving Second-Order Cone Programs

Publication
2018 IEEE Conference on Decision and Control (CDC), Fontainebleau, Miami Beach, FL, USA

Related