scientific article; zbMATH DE number 2145000
From MaRDI portal
Publication:4657304
zbMath1134.68596MaRDI QIDQ4657304
Publication date: 14 March 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Algorithmic information theory (Kolmogorov complexity, etc.) (68Q30)
Related Items
A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs, Digital collections of examples in mathematical sciences, Automated and readable simplification of trigonometric expressions, Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition, Automated simplification of large symbolic expressions, Unnamed Item, Using machine learning to improve cylindrical algebraic decomposition, A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy, Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition, Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness
