%0 Journal Article %1 journals/jfrea/MagronAGW15 %A Magron, Victor %A Allamigeon, Xavier %A Gaubert, Stéphane %A Werner, Benjamin %D 2015 %J J. Formaliz. Reason. %K %N 1 %P 1-24 %T Formal Proofs for Nonlinear Optimization. %U http://dblp.uni-trier.de/db/journals/jfrea/jfrea8.html#MagronAGW15 %V 8

@article{journals/jfrea/MagronAGW15, added-at = {2023-12-13T04:24:29.000+0100}, author = {Magron, Victor and Allamigeon, Xavier and Gaubert, Stéphane and Werner, Benjamin}, biburl = {https://www.bibsonomy.org/bibtex/2c9fae10bff9f2e5c55d49b375505097e/admin}, ee = {https://doi.org/10.6092/issn.1972-5787/4319}, interhash = {95706da540c7baac899e0d12d0350711}, intrahash = {c9fae10bff9f2e5c55d49b375505097e}, journal = {J. Formaliz. Reason.}, keywords = {}, number = 1, pages = {1-24}, timestamp = {2023-12-13T04:24:29.000+0100}, title = {Formal Proofs for Nonlinear Optimization.}, url = {http://dblp.uni-trier.de/db/journals/jfrea/jfrea8.html#MagronAGW15}, volume = 8, year = 2015 }