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 (10)
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
This page was built for publication:
