68 27 356 2 610 document 356 examplebank_v2.pdf application/pdf 908385823adf8fd2b9179f3583b67dd8 MD5 451731 2015-03-18 16:58:46 https://researchdata.bath.ac.uk/68/1/examplebank_v2.pdf 68 1 1 application/pdf other en public cc_by_sa

examplebank_v2.pdf

data 357 2 612 document 357 examplebank_v2.txt text/plain c07f50a111f359ab269078aa15604069 MD5 19270 2015-03-18 16:58:55 https://researchdata.bath.ac.uk/68/2/examplebank_v2.txt 68 2 2 text/plain other en public cc_by_sa

examplebank_v2.txt

data 358 2 614 document 358 QEPCADexamplebank_v2.txt text/plain c13f20685861aaaefc2c86c8f42e149a MD5 18056 2015-03-18 16:59:02 https://researchdata.bath.ac.uk/68/3/QEPCADexamplebank_v2.txt 68 3 3 text/plain other en public cc_by_sa

QEPCADexamplebank_v2.txt

data 375 2 661 document 375 lightbox.jpg image/png 3dff51c4521e88b67a30eefc34c9f13e MD5 22784 2015-03-18 17:09:12 https://researchdata.bath.ac.uk/68/4/lightbox.jpg 68 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/356 http://eprints.org/relation/isVolatileVersionOf https://researchdata.bath.ac.uk/id/document/356 http://eprints.org/relation/islightboxThumbnailVersionOf https://researchdata.bath.ac.uk/id/document/356 376 2 662 document 376 preview.jpg image/png c7fe6d273e6524d7bd8518a1a1135779 MD5 10352 2015-03-18 17:09:12 https://researchdata.bath.ac.uk/68/5/preview.jpg 68 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/356 http://eprints.org/relation/isVolatileVersionOf https://researchdata.bath.ac.uk/id/document/356 http://eprints.org/relation/ispreviewThumbnailVersionOf https://researchdata.bath.ac.uk/id/document/356 377 2 663 document 377 medium.jpg image/png a5abf5bb195e0f8e918c34379509f351 MD5 6866 2015-03-18 17:09:12 https://researchdata.bath.ac.uk/68/6/medium.jpg 68 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/356 http://eprints.org/relation/isVolatileVersionOf https://researchdata.bath.ac.uk/id/document/356 http://eprints.org/relation/ismediumThumbnailVersionOf https://researchdata.bath.ac.uk/id/document/356 378 2 664 document 378 small.jpg image/png 9e05c605fb5693d42c887c21672211b5 MD5 1588 2015-03-18 17:09:13 https://researchdata.bath.ac.uk/68/7/small.jpg 68 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/356 http://eprints.org/relation/isVolatileVersionOf https://researchdata.bath.ac.uk/id/document/356 http://eprints.org/relation/issmallThumbnailVersionOf https://researchdata.bath.ac.uk/id/document/356 379 1 665 document 379 indexcodes.txt text/plain 50837203b7bbf61676bed264d26707d2 MD5 4149 2015-03-18 17:09:13 https://researchdata.bath.ac.uk/68/8/indexcodes.txt 68 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/356 http://eprints.org/relation/isVolatileVersionOf https://researchdata.bath.ac.uk/id/document/356 http://eprints.org/relation/isIndexCodesVersionOf https://researchdata.bath.ac.uk/id/document/356 380 1 666 document 380 indexcodes.txt text/plain d871c8ee77a36fd7b3b2c2cd7bd9e77f MD5 1194 2015-03-18 17:09:13 https://researchdata.bath.ac.uk/68/9/indexcodes.txt 68 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/357 http://eprints.org/relation/isVolatileVersionOf https://researchdata.bath.ac.uk/id/document/357 http://eprints.org/relation/isIndexCodesVersionOf https://researchdata.bath.ac.uk/id/document/357 381 1 667 document 381 indexcodes.txt text/plain b4bb481cd0a89d2dcbdc5d074cbfaf13 MD5 1499 2015-03-18 17:09:14 https://researchdata.bath.ac.uk/68/10/indexcodes.txt 68 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/358 http://eprints.org/relation/isVolatileVersionOf https://researchdata.bath.ac.uk/id/document/358 http://eprints.org/relation/isIndexCodesVersionOf https://researchdata.bath.ac.uk/id/document/358 archive 1166 disk0/00/00/00/68 2015-03-18 17:00:32 2024-07-22 14:12:49 2015-03-18 17:00:32 data_collection 67 no_search 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. 2012-11 University of Bath public http://www.cs.bath.ac.uk/~djw42/triangular/examplebank.html RightsHolder University of Bath Engineering and Physical Sciences Research Council http://dx.doi.org/10.13039/501100000266 EP/J003247/1 Real Geometry and Connectedness via Triangular Description en 2 open All files are available under a Creative Commons Attribution - Share Alike 4.0 International Licence.