Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: An implementation of CAD in Maple utilising McCallum projection   Cylindrical algebraic decomposition (CAD) is an important tool for the
investigation of semi-algebraic sets. Originally introduced by Collins in the
1970s for use in quantifier elimination it has since found numerous
applications within algebraic geometry and beyond. Following from his original
work in 1988, McCallum presented an improved algorithm, CADW, which offered a
huge increase in the practical utility of CAD. In 2009 a team based at the
University of Western Ontario presented a new and quite separate algorithm for
CAD, which was implemented and included in the computer algebra system Maple.
As part of a wider project at Bath investigating CAD and its applications,
Collins and McCallum's CAD algorithms have been implemented in Maple. This
report details these implementations and compares them to Qepcad and the
Ontario algorithm.
  The implementations were originally undertaken to facilitate research into
the connections between the algorithms. However, the ability of the code to
guarantee order-invariant output has led to its use in new research on CADs
which are minimal for certain problems. In addition, the implementation
described here is of interest as the only full implementation of CADW, (since
Qepcad does not currently make use of McCallum's delineating polynomials), and
hence can solve problems not admissible to other CAD implementations.

7
The categories of this paper are: hep-th
13
The categories of this paper are: quant-ph
23
The categories of this paper are: solv-int
16
The categories of this paper are: stat
37
The categories of this paper are: supr-con
4
The categories of this paper are: cond-mat
25
The categories of this paper are: patt-sol
19
The categories of this paper are: eess
30
The categories of this paper are: q-alg
0
The categories of this paper are: hep-ph
17
The categories of this paper are: q-fin
12
The categories of this paper are: nucl-th
24
The categories of this paper are: dg-ga
32
The categories of this paper are: atom-ph
3
The categories of this paper are: physics
5
The categories of this paper are: gr-qc