Credible Autocoding of Convex Optimization Algorithms

Timothy Wang, Romain Jobredeaux, Marc Pantel, Pierre-Loic Garoche, Eric Feron, Didier Henrion
January 2016
PDF Cite
Type
Journal article
Publication
Springer Optimization and Engineering
"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