Credible Autocoding of Convex Optimization Algorithms

Timothy Wang, Romain Jobredeaux, Marc Pantel, Pierre-Loic Garoche, Eric Feron, Didier Henrion
January 2014
PDF Cite
Type
Report
Publication
CoRR
"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