The following pages link to (Q4657304):
Displayed 4 items.
- 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)
- Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition (Q5495916) (← links)