Using the regular chains library to build cylindrical algebraic decompositions by projecting and lifting

Matthew England, David Wilson, Russell Bradford, James H. Davenport

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

19 Citations (Scopus)
15 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Using the regular chains library to build cylindrical algebraic decompositions by projecting and lifting'. Together they form a unique fingerprint.

Computer Science