67 28 340 2 578 document 340 Wilson_2012_pdf.pdf application/pdf 574b9ca46a61152564bea4a682168677 MD5 437669 2015-03-18 16:39:45 https://researchdata.bath.ac.uk/67/1/Wilson_2012_pdf.pdf 67 1 1 application/pdf other en public cc_by_sa

Wilson_2012_pdf.pdf

data 341 2 580 document 341 Wilson_2012_QEPCAD_text text/plain 107a593b86af4e16a683cedcf8f0c012 MD5 6990 2015-03-18 16:39:50 https://researchdata.bath.ac.uk/67/2/Wilson_2012_QEPCAD_text 67 2 2 text/plain other en public cc_by_sa

Wilson_2012_QEPCAD_text

data 342 2 582 document 342 Wilson_2012_text text/plain cb290fc13ec4629adf2894c6205ed6ac MD5 15032 2015-03-18 16:39:56 https://researchdata.bath.ac.uk/67/3/Wilson_2012_text 67 3 3 text/plain other en public cc_by_sa

Wilson_2012_text

data 343 2 588 document 343 lightbox.jpg image/png 3dff51c4521e88b67a30eefc34c9f13e MD5 22784 2015-03-18 16:50:11 https://researchdata.bath.ac.uk/67/4/lightbox.jpg 67 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/340 http://eprints.org/relation/isVolatileVersionOf https://researchdata.bath.ac.uk/id/document/340 http://eprints.org/relation/islightboxThumbnailVersionOf https://researchdata.bath.ac.uk/id/document/340 344 2 589 document 344 preview.jpg image/png c7fe6d273e6524d7bd8518a1a1135779 MD5 10352 2015-03-18 16:50:11 https://researchdata.bath.ac.uk/67/5/preview.jpg 67 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/340 http://eprints.org/relation/isVolatileVersionOf https://researchdata.bath.ac.uk/id/document/340 http://eprints.org/relation/ispreviewThumbnailVersionOf https://researchdata.bath.ac.uk/id/document/340 345 2 590 document 345 medium.jpg image/png a5abf5bb195e0f8e918c34379509f351 MD5 6866 2015-03-18 16:50:12 https://researchdata.bath.ac.uk/67/6/medium.jpg 67 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/340 http://eprints.org/relation/isVolatileVersionOf https://researchdata.bath.ac.uk/id/document/340 http://eprints.org/relation/ismediumThumbnailVersionOf https://researchdata.bath.ac.uk/id/document/340 346 2 591 document 346 small.jpg image/png 9e05c605fb5693d42c887c21672211b5 MD5 1588 2015-03-18 16:50:12 https://researchdata.bath.ac.uk/67/7/small.jpg 67 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/340 http://eprints.org/relation/isVolatileVersionOf https://researchdata.bath.ac.uk/id/document/340 http://eprints.org/relation/issmallThumbnailVersionOf https://researchdata.bath.ac.uk/id/document/340 347 1 592 document 347 indexcodes.txt text/plain e909d03e0103cb38e73477010d7d697a MD5 3385 2015-03-18 16:50:14 https://researchdata.bath.ac.uk/67/8/indexcodes.txt 67 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/340 http://eprints.org/relation/isVolatileVersionOf https://researchdata.bath.ac.uk/id/document/340 http://eprints.org/relation/isIndexCodesVersionOf https://researchdata.bath.ac.uk/id/document/340 archive 1166 disk0/00/00/00/67 2015-03-18 16:57:27 2024-07-15 10:57:43 2015-03-18 16:57:27 data_collection 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-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 http://dx.doi.org/10.13039/501100000266 EP/J003247/1 Real Geometry and Connectedness via Triangular Description en 1 https://doi.org/10.1007/978-3-642-31374-5_19 pub open All files are available under a Creative Commons Attribution - Share Alike 4.0 International Licence.