The following pages link to (Q4657304):
Displayed 8 items.
- Using machine learning to improve cylindrical algebraic decomposition (Q2009221) (← links)
- Automated and readable simplification of trigonometric expressions (Q2426094) (← links)
- Automated simplification of large symbolic expressions (Q2437298) (← links)
- A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy (Q3637270) (← links)
- Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness (Q5014692) (← links)
- A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs (Q5041068) (← links)
- Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition (Q5495916) (← links)
- Digital collections of examples in mathematical sciences (Q6086393) (← links)