Truth Table Invariant Cylindrical Algebraic Decomposition Examples

University of Bath researchers provide supporting files for the paper "Truth table invariant cylindrical algebraic decomposition." The dataset includes Maple worksheets, library files, and Qepcad-B directories for worked examples and experimental results. It contains the example set used for experiments summarized in the paper's tables.

Use Cases

• Reproducing experimental results from the paper based on the provided example sets.
• Comparing algorithm performance between Maple and Qepcad-B implementations using the supplied files.
• Studying worked examples of cylindrical algebraic decomposition from Sections 1-7 of the paper.
• Using the provided Maple worksheets as a template for analyzing similar algebraic systems.

Strengths

• Includes files for both Maple and Qepcad-B, allowing for cross-platform comparison.
• Contains the specific example set used for the experiments in Section 8.2 of the paper.
• Provides worksheets showing how the numerical results in the paper's tables were obtained.

Limitations

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

Provenance

Source

University of Bath

Collection Method

Created to support the academic paper "Truth table invariant cylindrical algebraic decomposition".