scientific article; zbMATH DE number 2145000
From MaRDI portal
Publication:4657304
Recommendations
Cited in
(17)- Regular expression simplification
- 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
- scientific article; zbMATH DE number 1262450 (Why is no real title available?)
- 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
- Rounding coefficients and artificially underflowing terms in non-numeric expressions
- Ten commandments for good default expression simplification
- Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition
- scientific article; zbMATH DE number 7779293 (Why is no real title available?)
- Digital collections of examples in mathematical sciences
- Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition
- Constrained neural networks for interpretable heuristic creation to optimise computer algebra systems
- Simplified parsing expression derivatives
- Algebraic simplification in computer algebra: an analysis of bottom-up algorithms
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4657304)
