SDeval
From MaRDI portal
Software:25555
swMATH13641MaRDI QIDQ25555FDOQ25555
Author name not available (Why is that?)
Cited In (11)
- Using machine learning to improve cylindrical algebraic decomposition
- Factorization of ℤ$$ \mathbb {Z}$$-Homogeneous Polynomials in the First q-Weyl Algebra
- Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
- Computing the Dixon Resultant with the Maple Package DR
- Factoring linear partial differential operators in \(n\) variables
- Collaborative Computer Algebra
- Semantic-Aware Fingerprints of Symbolic Research Data
- Letterplace
- Factoring linear differential operators in n variables
- The SDEval benchmarking toolkit
- Enhanced computations of gröbner bases in free algebras as a new application of the letterplace paradigm
This page was built for software: SDeval
