Abstract
Given a polynomial with symbolic/literal coefficients,a complete discrimination system is a set of explicit expressions in terms of the coefficients,which is sufficient for determining the numbers and multiplicities of the real and imaginary roots.Though it is of great significance,such a criterion for root-classification has never been given for polynomials with degrees greater than 4.The lack of efficient tools in this aspect extremely prevents computer implementations for Tarskis and other methods in automated theorem proving.To remedy this defect,a generic algorithm is proposed to produce a complete discrimination system for a polynomial with any degrees.This result has extensive applications in various fields,and its efficiency was demonstrated by computer implementations.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
