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

Cohen Raphael, Eric Feron, Pierre-Loic Garoche
December 2018
Type
Conference paper
Publication
2018 IEEE Conference on Decision and Control (CDC), Fontainebleau, Miami Beach, FL, USA
own

Related