SDeval

swMATH13641MaRDI QIDQ25555FDOQ25555

Author name not available (Why is that?)

Cited In (11)

• Using machine learning to improve cylindrical algebraic decomposition
• The \textsc{SDEval} benchmarking toolkit
• Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
• Semantic-aware fingerprints of symbolic research data
• Factoring linear differential operators in \(n\) variables
• Factoring linear partial differential operators in \(n\) variables
• Letterplace
• Factorization of \( \mathbb {Z}\)-homogeneous polynomials in the first \(q\)-Weyl algebra
• Computing the Dixon resultant with the Maple package DR
• Enhanced computations of Gröbner bases in free algebras as a new application of the letterplace paradigm
• Collaborative computer algebra

This page was built for software: SDeval