69 39 365 2 645 document 365 examplebank_v4.pdf application/pdf 019b87b24e9163f53b6aea07622d8003 MD5 475726 2015-03-18 17:05:43 https://researchdata.bath.ac.uk/69/1/examplebank_v4.pdf 69 1 1 application/pdf other en public cc_by_sa

examplebank_v4.pdf

data 366 2 647 document 366 examplebank_v4.txt text/plain 348ac4988b4aeedd8ef681269649421b MD5 26146 2015-03-18 17:05:49 https://researchdata.bath.ac.uk/69/2/examplebank_v4.txt 69 2 2 text/plain other en public cc_by_sa

examplebank_v4.txt

data 367 2 649 document 367 QEPCADexamplebank_v4.txt text/plain 2c3f7115f9eb22176ae23f665a778f6d MD5 23497 2015-03-18 17:05:53 https://researchdata.bath.ac.uk/69/3/QEPCADexamplebank_v4.txt 69 3 3 text/plain other en public cc_by_sa

QEPCADexamplebank_v4.txt

data 368 2 651 document 368 lightbox.jpg image/png 3dff51c4521e88b67a30eefc34c9f13e MD5 22784 2015-03-18 17:06:04 https://researchdata.bath.ac.uk/69/4/lightbox.jpg 69 4 4 image/png other Thumbnails conversion from other to thumbnail_lightbox en public

lightbox.jpg

http://eprints.org/relation/isVersionOf https://researchdata.bath.ac.uk/id/document/365 http://eprints.org/relation/isVolatileVersionOf https://researchdata.bath.ac.uk/id/document/365 http://eprints.org/relation/islightboxThumbnailVersionOf https://researchdata.bath.ac.uk/id/document/365 369 2 652 document 369 preview.jpg image/png c7fe6d273e6524d7bd8518a1a1135779 MD5 10352 2015-03-18 17:06:04 https://researchdata.bath.ac.uk/69/5/preview.jpg 69 5 5 image/png other Thumbnails conversion from other to thumbnail_preview en public

preview.jpg

http://eprints.org/relation/isVersionOf https://researchdata.bath.ac.uk/id/document/365 http://eprints.org/relation/isVolatileVersionOf https://researchdata.bath.ac.uk/id/document/365 http://eprints.org/relation/ispreviewThumbnailVersionOf https://researchdata.bath.ac.uk/id/document/365 370 2 653 document 370 medium.jpg image/png a5abf5bb195e0f8e918c34379509f351 MD5 6866 2015-03-18 17:06:05 https://researchdata.bath.ac.uk/69/6/medium.jpg 69 6 6 image/png other Thumbnails conversion from other to thumbnail_medium en public

medium.jpg

http://eprints.org/relation/isVersionOf https://researchdata.bath.ac.uk/id/document/365 http://eprints.org/relation/isVolatileVersionOf https://researchdata.bath.ac.uk/id/document/365 http://eprints.org/relation/ismediumThumbnailVersionOf https://researchdata.bath.ac.uk/id/document/365 371 2 654 document 371 small.jpg image/png 9e05c605fb5693d42c887c21672211b5 MD5 1588 2015-03-18 17:06:05 https://researchdata.bath.ac.uk/69/7/small.jpg 69 7 7 image/png other Thumbnails conversion from other to thumbnail_small en public

small.jpg

http://eprints.org/relation/isVersionOf https://researchdata.bath.ac.uk/id/document/365 http://eprints.org/relation/isVolatileVersionOf https://researchdata.bath.ac.uk/id/document/365 http://eprints.org/relation/issmallThumbnailVersionOf https://researchdata.bath.ac.uk/id/document/365 372 1 655 document 372 indexcodes.txt text/plain 384f36d3807b08093b729299af21552d MD5 4401 2015-03-18 17:06:06 https://researchdata.bath.ac.uk/69/8/indexcodes.txt 69 8 8 text/plain other Generate index codes conversion from other to indexcodes en public

indexcodes.txt

http://eprints.org/relation/isVersionOf https://researchdata.bath.ac.uk/id/document/365 http://eprints.org/relation/isVolatileVersionOf https://researchdata.bath.ac.uk/id/document/365 http://eprints.org/relation/isIndexCodesVersionOf https://researchdata.bath.ac.uk/id/document/365 373 1 656 document 373 indexcodes.txt text/plain d455285b4620f6945ad547cbb8ef3266 MD5 1290 2015-03-18 17:06:06 https://researchdata.bath.ac.uk/69/9/indexcodes.txt 69 9 9 text/plain other Generate index codes conversion from other to indexcodes en public

indexcodes.txt

http://eprints.org/relation/isVersionOf https://researchdata.bath.ac.uk/id/document/366 http://eprints.org/relation/isVolatileVersionOf https://researchdata.bath.ac.uk/id/document/366 http://eprints.org/relation/isIndexCodesVersionOf https://researchdata.bath.ac.uk/id/document/366 374 1 657 document 374 indexcodes.txt text/plain 9cf35fd183cdc33ea0da114f4e18d2cb MD5 1554 2015-03-18 17:06:07 https://researchdata.bath.ac.uk/69/10/indexcodes.txt 69 10 10 text/plain other Generate index codes conversion from other to indexcodes en public

indexcodes.txt

http://eprints.org/relation/isVersionOf https://researchdata.bath.ac.uk/id/document/367 http://eprints.org/relation/isVolatileVersionOf https://researchdata.bath.ac.uk/id/document/367 http://eprints.org/relation/isIndexCodesVersionOf https://researchdata.bath.ac.uk/id/document/367 archive 1166 disk0/00/00/00/69 2015-03-18 17:06:30 2025-09-20 04:45:35 2015-03-18 17:06:30 data_collection 68 show Wilson David D.J.Wilson@bath.ac.uk University of Bath TRUE dept_compsci groebner basis, cylindrical algebraic decomposition Each example is given as a Tarski formula or list of polynomials followed by a list of free variables, a list of quantified variables, the suggested variable order given from the source (if any), the minimal number of cells achieved in a full CAD (with details of how to reproduce), notes on the problem, and the source. A PDF file which lists the examples, their properties and their source; A text file for Maple which is designed to be read by Maple for easy access to the examples; A text file for QEPCAD from which examples can be easily copied for input into QEPCAD. 2013-04 University of Bath public http://www.cs.bath.ac.uk/~djw42/triangular/examplebank.html RightsHolder University of Bath Engineering and Physical Sciences Research Council https://doi.org/10.13039/501100000266 EP/J003247/1 Real Geometry and Connectedness via Triangular Description en 4 10.15125/BATH-00069 open All files are available under a Creative Commons Attribution - Share Alike 4.0 International Licence.