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

Details:

   
TitleVariant quantifier elimination
Author(s) Hoon Hong, Mohab Safey
TypeArticle in Journal
Abstract
KeywordsQuantifier elimination, Computational real algebraic geometry, Stability analysis
ISSN0747-7171
URL http://www.sciencedirect.com/science/article/pii/S0747717111002057
LanguageEnglish
JournalJournal of Symbolic Computation
Volume47
Number7
Pages883 - 901
Year2012
NoteInternational Symposium on Symbolic and Algebraic Computation (ISSAC 2009)
Edition0
Translation No
Refereed No
Webmaster