@article { dblp1503333,
	title = {Credible Autocoding of Convex Optimization Algorithms},
	journal = {CoRR},
	volume = {abs/1403.1861},
	year = {2014},
	type = {article},
	url = {http://arxiv.org/abs/1403.1861},
	author = {Timothy Wang and Romain Jobredeaux and Marc Pantel and Pierre-Loic Garoche and Eric M. Feron and Didier Henrion}
}