Credible autocoding of convex optimization algorithms

Timothy Wang, Romain Jobredeaux, Marc Pantel, Pierre Loic Garoche, Eric Feron, Didier Henrion

Research output: Contribution to journalArticlepeer-review

9 Scopus citations

Fingerprint

Dive into the research topics of 'Credible autocoding of convex optimization algorithms'. Together they form a unique fingerprint.

Keyphrases

Computer Science