SDeval
From MaRDI portal
Cited in
(25)- ALLTYPES
- SymbolicData
- ApCoCoA
- PoCaB
- GBNP
- Using machine learning to improve cylindrical algebraic decomposition
- Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
- FRISCO
- NCPOLY
- Factoring linear partial differential operators in \(n\) variables
- OpenDreamKit
- NCGB
- Semantic-aware fingerprints of symbolic research data
- Enhanced computations of Gröbner bases in free algebras as a new application of the letterplace paradigm
- SumTools
- Factoring linear differential operators in \(n\) variables
- DR
- BranchCuts
- Factorization of \( \mathbb {Z}\)-homogeneous polynomials in the first \(q\)-Weyl algebra
- Computing the Dixon resultant with the Maple package DR
- Collaborative computer algebra
- Letterplace
- Letterplace
- Ncpoly
- The \textsc{SDEval} benchmarking toolkit
This page was built for software: SDeval
