Real Geometry and Connectedness via Triangular Description: CAD Example Bank


Wilson, D., 2012. Real Geometry and Connectedness via Triangular Description: CAD Example Bank. University of Bath.

WarningThere is a more recent version of this item available.


Dataset abstract

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.

Title: Real Geometry and Connectedness via Triangular Description: CAD Example Bank
Keywords: groebner basis, cylindrical algebraic decomposition
Departments: Faculty of Science > Computer Science
URI: http://researchdata.bath.ac.uk/id/eprint/68
Export:

Available Files

Data

Datasets in this collection

[[filtered.length]] datasets. Showing first 20