A comparison of three heuristics to choose the variable ordering for cylindrical algebraic decomposition

Zongyan Huang, Matthew England, David Wilson, James H. Davenport, Lawrence C. Paulson

Research output: Contribution to journalArticle

1 Citation (Scopus)
7 Downloads (Pure)

Abstract

Cylindrical algebraic decomposition (CAD) is a key tool for problems in real algebraic geometry and beyond. When using CAD there is often a choice over the variable ordering to use, with some problems infeasible in one ordering but simple in another. Here we discuss a recent experiment comparing three heuristics for making this choice on thousands of examples.

Original languageEnglish
Pages (from-to)121-123
Number of pages3
JournalACM Communications in Computer Algebra
Volume48
Issue number3-4
DOIs
Publication statusPublished - 5 Feb 2015
Externally publishedYes

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Computational Mathematics

Fingerprint Dive into the research topics of 'A comparison of three heuristics to choose the variable ordering for cylindrical algebraic decomposition'. Together they form a unique fingerprint.

  • Cite this