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.

Keywords:

groebner basis cylindrical algebraic decomposition

Cite this dataset as:
Wilson, D., 2013. Real Geometry and Connectedness via Triangular Description: CAD Example Bank. Version 4. Bath: University of Bath Research Data Archive. Available from: https://doi.org/10.15125/BATH-00069.

Export

Data

examplebank_v4.pdf
application/pdf (475kB)
Creative Commons: Attribution-Share Alike 4.0

examplebank_v4.txt
text/plain (26kB)
Creative Commons: Attribution-Share Alike 4.0

QEPCADexamplebank_v4.txt
text/plain (23kB)
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
https://doi.org/10.13039/501100000266

Real Geometry and Connectedness via Triangular Description
EP/J003247/1

Publication details

Publication date: April 2013
by: University of Bath

Version: 4

This is the latest version of this item.

Version 1. (April 2012)
Version 2. (November 2012)
Version 4. (April 2013) [Currently Displayed]

DOI: https://doi.org/10.15125/BATH-00069

URL for this record: https://researchdata.bath.ac.uk/69

Contact information

Please contact the Research Data Service in the first instance for all matters concerning this item.

Contact person: David Wilson

Departments:

Faculty of Science
Computer Science