Credible autocoding of convex optimization algorithms

Timothy Wang, Eric Feron, Romain Jobredeaux, Marc Pantel, Pierre-Loic Garoche, Didier Henrion
January 2015
Cite
Type
Conference paper
Publication
17th British-French-German Conference on Optimization 15-17 June 2015 London, United Kingdom
"abstractonly" "own"
Eric Feron
Eric Feron
Professor at KAUST (on leave from Georgia Tech)
Didier Henrion
Didier Henrion
Senior Researcher (Directeur de Recherche) at LAAS-CNRS and Professor at Prague University

Related