Publication:4657304
From MaRDI portal
zbMath1134.68596MaRDI QIDQ4657304
Publication date: 14 March 2005
68W30: Symbolic computation and algebraic computation
68Q30: Algorithmic information theory (Kolmogorov complexity, etc.)
Related Items
Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition, Automated and readable simplification of trigonometric expressions, Automated simplification of large symbolic expressions, A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy