A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision [0.03%]
基于根数计算和区间分割的单变量多项式系统决策程序
Anthony Narkawicz,Cesar Munoz,Aaron Dutle
Anthony Narkawicz
This paper presents a formally verified decision procedure for determinining the satisfiability of a system of univariate polynomial relations over the real line. The procedure combines a root counting function, based on Sturm's theorem, wi...