A symbiosis of interval constraint propagation and cylindrical algebraic decomposition

by Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika Ábrahám, Bernd Becker
Reference:
A symbiosis of interval constraint propagation and cylindrical algebraic decomposition (Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika Ábrahám, Bernd Becker), Chapter in Automated Deduction–CADE-24, Springer Berlin Heidelberg, 2013.
Bibtex Entry:
@incollection{loup2013symbiosis,
  title={A symbiosis of interval constraint propagation and cylindrical algebraic decomposition},
  author={Loup, Ulrich and Scheibler, Karsten and Corzilius, Florian and {'A}brah{'a}m, Erika and Becker, Bernd},
  booktitle={Automated Deduction--CADE-24},
  pages={193--207},
  year={2013},
  publisher={Springer Berlin Heidelberg}
}

Bookmark the permalink.