[4] Victor Magron, George Constantinides, and Alastair Donaldson. Certified Roundoff Error Bounds Using Semidefinite Programming, 2015. Submitted. [ bib | arxiv | Real2Float ]
[3] Assalé Adjé, Pierre-Loïc Garoche, and Victor Magron. A Sum-of-Squares Extension of Policy Iterations, 2015. Submitted. [ bib | arxiv ]
[2] Thomas Hales, Mark Adams, Gertrud Bauer, Dang Tat Dat, John Harrison, Hoang Le Truong, Cezary Kaliszyk, Victor Magron, Sean Mclaughlin, Nguyen Tat Thang, Nguyen Quang Truong, Tobias Nipkow, Steven Obua, Joseph Pleso, Jason Rute, Alexey Solovyev, Ta Thi Hoai An, Tran Nam Trung, Trieu Thi Diep, Josef Urban, Vu Khac Ky, and Roland Zumkeller. A Formal Proof of the Kepler Conjecture, 2015. Submitted. [ bib | arxiv ]
[1] Victor Magron, Didier Henrion, and Jean-Bernard Lasserre. Semidefinite approximations of projections and polynomial images of semialgebraic sets, 2015. Accepted Pending Minor Revision in SIAM Journal on Optimization. [ bib | arxiv | ImageSDP ]