@misc{indiciae544c5a94a09e,
  title = {Credible Autocoding of Convex Optimization Algorithms},
  author = {Timothy Wang and Romain Jobredeaux and Marc Pantel and Pierre-Loic Garoche and Eric Feron and Didier Henrion},
  year = {2014},
  url = {https://arxiv.org/abs/1403.1861},
  note = {Source identifier: 1403.1861}
}