A repository for CAD examples
From MaRDI portal
Publication:5176436
DOI10.1145/2429135.2429137zbMath1322.68294DBLPjournals/cca/WilsonBD12OpenAlexW2020386454WikidataQ59590584 ScholiaQ59590584MaRDI QIDQ5176436
James H. Davenport, David J. Wilson, Russell J. Bradford
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
Related Items (4)
Digital collections of examples in mathematical sciences ⋮ Using machine learning to improve cylindrical algebraic decomposition ⋮ Truth table invariant cylindrical algebraic decomposition ⋮ Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition
Uses Software
This page was built for publication: A repository for CAD examples
