Real Geometry and Connectedness via Triangular Description: CAD Example Bank
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.
Cite this dataset as:
Wilson, D.,
2012.
Real Geometry and Connectedness via Triangular Description: CAD Example Bank.
Version 2.
Bath: University of Bath Research Data Archive.
Export
Data
examplebank_v2.pdf
application/pdf (451kB)
Creative Commons: Attribution-Share Alike 4.0
examplebank_v2.txt
text/plain (19kB)
Creative Commons: Attribution-Share Alike 4.0
QEPCADexamplebank_v2.txt
text/plain (18kB)
Creative Commons: Attribution-Share Alike 4.0
All files are available under a Creative Commons Attribution - Share Alike 4.0 International Licence.
Creators
David Wilson
University of Bath
Contributors
University of Bath
Rights Holder
Documentation
Additional information:
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.
Funders
Engineering and Physical Sciences Research Council
http://dx.doi.org/10.13039/501100000266
Real Geometry and Connectedness via Triangular Description
EP/J003247/1
Publication details
Publication date: November 2012
by: University of Bath
Version: 2
- Version 1. (April 2012)
- Version 2. (November 2012) [Currently Displayed]
- Version 4. (April 2013)
URL for this record: https://researchdata.bath.ac.uk/68
Contact information
Please contact the Research Data Service in the first instance for all matters concerning this item.
Contact person: David Wilson
Faculty of Science
Computer Science
