submitted.bib

@preamble{{ \newcommand{\noop}[1]{} }}
@misc{popl15,
  title = {{Certified Roundoff Error Bounds Using Semidefinite Programming}},
  author = {Victor Magron and George Constantinides and Alastair Donaldson},
  note = {Submitted},
  year = {2015},
  realtofloat = {http://nl-certify.forge.ocamlcore.org/real2float.html},
  http = {http://arxiv.org/abs/1507.03331}
}
@misc{pisos,
  title = {{A Sum-of-Squares Extension of Policy Iterations}},
  author = {Assal\'e Adj\'e and Pierre-Lo\"ic Garoche and Victor Magron},
  note = {Submitted},
  http = {http://arxiv.org/abs/1503.08090},
  year = {2015}
}
@misc{pisigma15,
  title = {{A Formal Proof of the Kepler Conjecture}},
  author = {Thomas Hales and Mark Adams and Gertrud Bauer and Dang Tat Dat and John Harrison and Hoang Le Truong and Cezary Kaliszyk and Victor Magron and Sean Mclaughlin and Nguyen Tat Thang and Nguyen Quang Truong and Tobias Nipkow and Steven Obua and Joseph Pleso and Jason Rute and Alexey Solovyev and Ta Thi Hoai An and Tran Nam Trung and Trieu Thi Diep and Josef Urban and Vu Khac Ky and Roland Zumkeller},
  note = {Submitted},
  year = {2015},
  http = {http://arxiv.org/abs/1501.02155}
}
@misc{siopt14,
  title = {{Semidefinite approximations of projections and polynomial images of semialgebraic sets}},
  author = {Victor Magron and Didier Henrion and Jean-Bernard Lasserre},
  note = {Accepted Pending Minor Revision in SIAM Journal on Optimization},
  year = {2015},
  imagesdp = {https://github.com/vmagron/ParetoImageSDP},
  http = {http://arxiv.org/abs/1507.06143}
}