Formally-Verified Decision Procedures for Univariate Polynomial Computation Based on Sturm’s and Tarski’s Theorems
Article in Journal of Automated Reasoning (February 2015)
The most recent citing publications are shown below. View all 2 publications that cite this research output on Dimensions.
Article in Journal of Automated Reasoning (February 2015)
Article in Journal of Automated Reasoning (November 2012)