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

Details:

    
TitleOptimising problem formulation for cylindrical algebraic decomposition.
Author(s) James H. Davenport, Wilson David, England Matthew, Bradford Russell
TypeBook, Chapter in Book, Conference Proceeding
Abstract
Keywords
ISBN978-3-642-39319-8/pbk
URL http://link.springer.com/chapter/10.1007%2F978-3-642-39320-4_2
LanguageEnglish
Pages19--34
PublisherBerlin: Springer
Year2013
Edition0
Translation No
Refereed No
Webmaster