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

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