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

Cohen Raphael, Eric Feron, Pierre-Loic Garoche
December 2018
Cite
Type
Conference paper
Publication
2018 IEEE Conference on Decision and Control (CDC), Fontainebleau, Miami Beach, FL, USA
"own"
Eric Feron
Eric Feron
Professor at KAUST (on leave from Georgia Tech)

Related