Answers are grounded in this paper and cite their sources.
A procedure is given to determine whether or not a polynomial in several real variables is globally positive. Emphasis is placed on the resolution of singularities of various types that occur during the implementation of the algorithm. A nontrivial example encountered in application of Lyapunov direct method to stability investigation of nonlinear control systems is given to illustrate the details of the procedure.
No takes yet. Share an insight, caveat, or question.
Bose et al. (1976) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: