Comparison between SOS approach and Slack Variable approach for non-negativity check of polynomial functions: Multiple variable case | IEEE Conference Publication | IEEE Xplore