Sturm Theorem
Sturm’s theorem is less efficient than other methods based on Descartes’ rule of signs for computing over the reals. However, because it works on every real closed field, it is still important for the theoretical study of the computational difficulty of decidability and quantifier elimination in first-order real-number theory. Sturm theorem differential equations The Sturm […]