BibTeX记录日志/corr/Magron 14
@文章{DBLP:journals/corr/Magron14, 作者={Victor Magron}, title={NLCertify:{A}形式非线性优化工具}, 日志={CoRR}, 体积={abs/1405.5668}, 年份={2014}, url={ http://arxiv.org/abs/1405.5668 }, eprinttype={arXiv}, eprint={1405.5668}, timestamp={2018年8月13日星期一16:47:33+0200}, biburl={ https://dblp.org/rec/journals/corr/Magron14.bib }, bibsource={dblp计算机科学书目, 网址:https://dblp.org } }