Proving inequalities and solving global optimization problems via simplified CAD projection.
https://doi.org/10.1016/j.jsc.2015.02.007
@article{DBLP:journals/jsc/HanJX16,
author = {Jingjun Han and
Zhi Jin and
Bican Xia},
title = {Proving inequalities and solving global optimization problems via
simplified {CAD} projection},
journal = {J. Symb. Comput.},
volume = {72},
pages = {206--230},
year = {2016},
url = {https://doi.org/10.1016/j.jsc.2015.02.007},
doi = {10.1016/j.jsc.2015.02.007},
timestamp = {Wed, 17 May 2017 14:25:49 +0200},
biburl = {https://dblp.org/rec/journals/jsc/HanJX16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签