journal.bib

@preamble{{ \newcommand{\noop}[1]{} }}
@article{jfr14,
  title = {{Formal proofs for Nonlinear Optimization}},
  author = {Victor Magron and Xavier Allamigeon and St{\'e}phane Gaubert and  Benjamin Werner},
  journal = {Journal of Formalized Reasoning},
  year = {2015},
  volume = {8},
  pages = {1-24},
  number = {1},
  http = {http://arxiv.org/abs/1404.7282}
}
@article{mpb13,
  year = {2015},
  issn = {0025-5610},
  journal = {Mathematical Programming},
  volume = {151},
  number = {2},
  title = {Certification of real inequalities: templates and sums of squares},
  url = {http://dx.doi.org/10.1007/s10107-014-0834-5},
  publisher = {Springer Berlin Heidelberg},
  author = {Magron, Victor and Allamigeon, Xavier and Gaubert, Stéphane and Werner, Benjamin},
  pages = {477-506},
  language = {English},
  http = {http://arxiv.org/abs/1403.5899}
}
@article{optl14,
  year = {2014},
  issn = {1862-4472},
  journal = {Optimization Letters},
  title = {{Error bounds for polynomial optimization over the hypercube using Putinar type representations}},
  url = {http://dx.doi.org/10.1007/s11590-014-0797-8},
  http = {http://arxiv.org/abs/1404.6145},
  publisher = {Springer Berlin Heidelberg},
  author = {Magron, Victor},
  volume = {8},
  number = {7},
  pages = {1-9},
  language = {English}
}
@article{orl14,
  title = {{Approximating Pareto curves using semidefinite relaxations}},
  journal = {Operations Research Letters },
  volume = {42},
  number = {6–7},
  pages = {432 - 437},
  year = {2014},
  note = {},
  issn = {0167-6377},
  url = {http://www.sciencedirect.com/science/article/pii/S0167637714001084},
  paretosdp = {https://github.com/vmagron/ParetoImageSDP},
  http = {http://arxiv-web3.library.cornell.edu/pdf/1404.4772v2.pdf},
  author = {Victor Magron and Didier Henrion and Jean-Bernard Lasserre}
}