Login / Signup

Proving inequalities and solving global optimization problems via simplified CAD projection.

Jingjun HanZhi JinBican Xia
Published in: J. Symb. Comput. (2016)
Keyphrases