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

Details:

   
TitleSimple Solution Formula Construction in Cylindrical Algebraic Decomposition Based Quantifier Elimination
Author(s) Hoon Hong
TypeArticle in Conference Proceedings
ISBN0-89791-489-9
URL http://doi.acm.org/10.1145/143242.143306
LanguageEnglish
SeriesISSAC
Pages177--188
PublisherACM
AddressNew York, NY, USA
Year1992
Edition0
Translation No
Refereed No
Webmaster