The following pages link to A repository for CAD examples (Q5176436):
Displaying 4 items.
- Using machine learning to improve cylindrical algebraic decomposition (Q2009221) (← links)
- Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition (Q5495916) (← links)
- Truth table invariant cylindrical algebraic decomposition (Q5963392) (← links)
- Digital collections of examples in mathematical sciences (Q6086393) (← links)