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
Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness, A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs, Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition, Digital collections of examples in mathematical sciences, Using machine learning to improve 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