Pages that link to "Item:Q6149145"
From MaRDI portal
The following pages link to Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition (Q6149145):
Displaying 8 items.
- Bilinear-form and similarity-reduction visit to a variable-coefficient generalized dispersive water-wave system concerning Acta Mech. 233, 2527 and 233, 2415 (Q6576390) (← links)
- Symbolic integration algorithm selection with machine learning: LSTMs vs tree LSTMs (Q6637807) (← links)
- Exploring alternative machine learning models for variable ordering in cylindrical algebraic decomposition (Q6637810) (← links)
- Constrained neural networks for interpretable heuristic creation to optimise computer algebra systems (Q6637811) (← links)
- Lessons on datasets and paradigms in machine learning for symbolic computation: a case study on CAD (Q6653101) (← links)
- Recent developments in real quantifier elimination and cylindrical algebraic decomposition (extended abstract of invited talk) (Q6660310) (← links)
- A dataset for suggesting variable orderings for cylindrical algebraic decompositions (Q6660322) (← links)
- Algebraic representations for faster predictions in convolutional neural networks (Q6660329) (← links)
