Return to Article Details
A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision
Download
Download PDF