TY  - RPRT
TI  - A Formally-Verified Decision Procedure for Univariate Polynomial Computation Based on Sturm's Theorem
AU  - Narkawicz, Anthony J.
AU  - Munoz, Cesar A.
PY  - 2014
UR  - https://ntrs.nasa.gov/citations/20150001256
ID  - 20150001256
ER  -