CAD Example Bank: Real Geometry and Connectedness via Triangular Description

A collection of examples for computational geometry and symbolic computation systems. The dataset includes a PDF listing examples and their properties, and text files formatted for use with Maple and QEPCAD software. It was authored by David C. Wilson of the University of Bath.

Use Cases

• Testing CAD (Cylindrical Algebraic Decomposition) algorithms based on the provided geometric examples.
• Benchmarking symbolic computation systems using the Maple-formatted text file.
• Validating geometric property analysis tools with the documented example properties.
• Teaching concepts in real geometry and connectedness using the curated example bank.

Strengths

• Includes examples specifically formatted for major software tools Maple and QEPCAD.
• Provides a PDF with documented properties and sources for each example.
• Authored by a researcher at a recognized academic institution, the University of Bath.

Limitations

• Description metadata is limited; actual data quality requires manual inspection after download.
• Row count and dataset scale are unknown, which may limit suitability assessment.
• Column-level documentation is absent; field semantics must be inferred after download.

Provenance

Source

David C. Wilson, University of Bath

Collection Method

Likely curated from academic or research sources for computational geometry.