另一种判定单变量多项式实根存在性的方法，以及针对3-SAT的多变量扩展
Another approach to decide on real root existence for univariate Polynomials, and a multivariate extension for 3-SAT
AI总结：
提出六条关于单变量实多项式的定理，并基于它们开发新算法判定整数系数单变量多项式是否存在实根；进一步定义变换将3-SAT实例转化为多变量实多项式，当且仅当实例不可满足时多项式系数全为正。
摘要：
我们提出了六条关于单变量实多项式的定理，并利用它们开发了一种新算法，用于判定整数系数单变量多项式是否存在至少一个实根。我们的算法输出不存在正实根，当且仅当给定多项式是某个系数全为正的实多项式的因式。接下来，我们定义了一个变换，该变换将3-SAT的任何实例转化为一个系数全为正的多变量实多项式，当且仅当该实例不可满足。
英文摘要：
We present six Theorems on the univariate real Polynomial, using which we develop a new algorithm for deciding the existence of atleast one real root for univariate integer Polynomials. Our algorithm outputs that no positive real root exists, if and only if, the given Polynomial is a factor of a real Polynomial with positive coefficients. Next, we define a transformation that transforms any instance of 3-SAT into a multivariate real Polynomial with positive coefficients, if and only if, the instance is not satisfiable.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
