A repository for CAD examples

DOI10.1145/2429135.2429137MaRDI QIDQ5176436zbMATH OpenOpenAlexDBLPWikidataFDO

Authors David Wilson, Russell Bradford, James H. Davenport

Publication date 26 February 2015

Published in ACM Communications in Computer Algebra (Search for Journal in Brave)

Full work available at URL http://opus.bath.ac.uk/31731/1/BathAbstract.pdf

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• QEPCAD B
• Using the Regular Chains library to build cylindrical algebraic decompositions by projecting and lifting
• Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
• Partial cylindrical algebraic decomposition for quantifier elimination
• Cylindrical algebraic sub-decompositions

Cited in

(4)

• Using machine learning to improve cylindrical algebraic decomposition
• Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition
• Truth table invariant cylindrical algebraic decomposition
• Digital collections of examples in mathematical sciences

Describes a project that uses

Uses Software

• Maple
• QEPCAD

This page was built for publication: A repository for CAD examples

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5176436)