Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleAutomatic computation of the complete root classification for a parametric polynomial
Author(s) David J. Jeffrey, Songxin Liang
TypeArticle in Journal
Abstract
KeywordsComplete root classification, Parametric polynomial, Real quantifier elimination, Real root, Subresultant polynomial
ISSN0747-7171
URL http://www.sciencedirect.com/science/article/pii/S0747717109001047
LanguageEnglish
JournalJournal of Symbolic Computation
Volume44
Number10
Pages1487 - 1501
Year2009
Edition0
Translation No
Refereed No
Webmaster