Cite

HARVARD Citation

    Han, J. et al. (2016). Proving inequalities and solving global optimization problems via simplified CAD projection. Journal of symbolic computation. pp. 206-230. [Online]. 
  
Back to record