Formally-Verified Decision Procedures for Univariate Polynomial Computation Based on Sturm’s and Tarski’s Theorems
2015 ◽
Vol 54
(4)
◽
pp. 285-326
◽
1996 ◽
Vol 170
(1-2)
◽
pp. 1-46
◽
Keyword(s):
Keyword(s):
2004 ◽
Vol 2004
(54)
◽
pp. 2867-2893
1998 ◽
Vol 8
(3)
◽
pp. 293-342
◽
Keyword(s):
1985 ◽
Vol 30
(1)
◽
pp. 1-24
◽
Keyword(s):