#### Filter Results:

- Full text PDF available (1)

#### Publication Year

2014

2018

- This year (0)
- Last 5 years (6)
- Last 10 years (6)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

Cylindrical algebraic decomposition(CAD) is a key tool in computational algebraic geometry, particularly for quantifier elimination over real-closed fields. When using CAD, there is often a choice… (More)

Cylindrical Algebraic Decomposition (CAD) is a key tool in computational algebraic geometry, best known as a procedure to enable Quantifier Elimination over real-closed fields. However, it has a… (More)

- Zongyan Huang
- 2015

Computer algebra is a fundamental research field of computer science, and computer algebra systems are used in a wide range of problems, often leading to significant savings of both time and effort.… (More)

- Zongyan Huang, Matthew England, James H. Davenport, Lawrence C. Paulson
- 18th International Symposium on Symbolic and…
- 2016

Cylindrical Algebraic Decomposition (CAD) is a key tool in computational algebraic geometry, particularly for quantifier elimination over real-closed fields. However, it can be expensive, with worst… (More)

- Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson
- ACM Comm. Computer Algebra
- 2014

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… (More)

- ‹
- 1
- ›