Victor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner. Formal Proofs for Nonlinear Optimization. J. Formalized Reasoning, 8(1):1-24, 2015. [doi]
@article{MagronAGW15, title = {Formal Proofs for Nonlinear Optimization}, author = {Victor Magron and Xavier Allamigeon and Stéphane Gaubert and Benjamin Werner}, year = {2015}, doi = {10.6092/issn.1972-5787/4319}, url = {http://dx.doi.org/10.6092/issn.1972-5787/4319}, researchr = {https://researchr.org/publication/MagronAGW15}, cites = {0}, citedby = {0}, journal = {J. Formalized Reasoning}, volume = {8}, number = {1}, pages = {1-24}, }