{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:22:10Z","timestamp":1750306930108,"version":"3.41.0"},"reference-count":7,"publisher":"Association for Computing Machinery (ACM)","issue":"3\/4","license":[{"start":{"date-parts":[[2013,1,15]],"date-time":"2013-01-15T00:00:00Z","timestamp":1358208000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Commun. Comput. Algebra"],"published-print":{"date-parts":[[2013,1,15]]},"abstract":"<jats:p>Cylindrical Algebraic Decomposition (CAD, first introduced in [Col75]) of Euclidean space has become an important tool in mathematics and allows for practical quantifier elimination (QE) over the reals. Much research has gone into improving the projection operator (e.g. [McC85]), the use of partial CADs (e.g. [CH91]), or into alternative algorithms (e.g. [CDM+09]).<\/jats:p>\n          <jats:p>A problem of fundamentally high complexity (doubly-exponential in the number of variables [DH88]) it can be difficult to judge when a problem will be solved quickly, and easy to write down problems that are computationally infeasible. It can therefore be difficult to test new advances in this field, and even harder to 'experiment' with new ideas.<\/jats:p>\n          <jats:p>We have created a unified machine-readable repository of examples to be used when considering CADs. This allows for quick access to a host of examples, pulled from various theoretical questions and applications. As well as enabling more efficient research, the creation of the repository has prompted us to look deeper at certain questions related to CADs. The example bank currently facilitates quick input for Maple and Qepcad implementations of CAD and QE. Whilst CAD and QE procedures exist in other software, they are not directly involved in our research.<\/jats:p>","DOI":"10.1145\/2429135.2429137","type":"journal-article","created":{"date-parts":[[2013,1,22]],"date-time":"2013-01-22T15:28:56Z","timestamp":1358868536000},"page":"67-69","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["A repository for CAD examples"],"prefix":"10.1145","volume":"46","author":[{"given":"David J.","family":"Wilson","sequence":"first","affiliation":[{"name":"University of Bath, Bath, England"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Russell J.","family":"Bradford","sequence":"additional","affiliation":[{"name":"University of Bath, Bath, England"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James H.","family":"Davenport","sequence":"additional","affiliation":[{"name":"University of Bath, Bath, England"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,1,15]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/968708.968710"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1576702.1576718"},{"key":"e_1_2_1_3_1","volume-title":"Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition Automata Theory and Formal Languages 2nd GI.., 134--183","author":"Collins G. E.","year":"1975","unstructured":"G. E. Collins , Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition Automata Theory and Formal Languages 2nd GI.., 134--183 , 1975 . G. E. Collins, Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition Automata Theory and Formal Languages 2nd GI.., 134--183, 1975."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(08)80152-6"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(88)80004-X"},{"key":"e_1_2_1_6_1","volume-title":"An Improved Projection Operation for Cylindrical Algebraic Decomposition EUROCAL '85 277--278","author":"McCallum S.","year":"1985","unstructured":"S. McCallum , An Improved Projection Operation for Cylindrical Algebraic Decomposition EUROCAL '85 277--278 , 1985 . S. McCallum, An Improved Projection Operation for Cylindrical Algebraic Decomposition EUROCAL '85 277--278, 1985."},{"key":"e_1_2_1_7_1","unstructured":"D. J. Wilson Real Geometry and Connectedness via Triangular Descriuption: CAD Example Bank. http:\/\/opus.bath.ac.uk\/29503 2012.  D. J. Wilson Real Geometry and Connectedness via Triangular Descriuption: CAD Example Bank. http:\/\/opus.bath.ac.uk\/29503 2012."}],"container-title":["ACM Communications in Computer Algebra"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2429135.2429137","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2429135.2429137","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:35:35Z","timestamp":1750235735000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2429135.2429137"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,15]]},"references-count":7,"journal-issue":{"issue":"3\/4","published-print":{"date-parts":[[2013,1,15]]}},"alternative-id":["10.1145\/2429135.2429137"],"URL":"https:\/\/doi.org\/10.1145\/2429135.2429137","relation":{},"ISSN":["1932-2240"],"issn-type":[{"type":"print","value":"1932-2240"}],"subject":[],"published":{"date-parts":[[2013,1,15]]},"assertion":[{"value":"2013-01-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}