SDeval
From MaRDI portal
swMATH13641MaRDI QIDQ25555FDOQ25555
Author name not available (Why is that?)
Official website: http://wiki.symbolicdata.org/SDEval
Cited In (25)
- 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
- ALLTYPES
- SymbolicData
- ApCoCoA
- PoCaB
- GBNP
- FRISCO
- NCPOLY
- OpenDreamKit
- NCGB
- SumTools
- DR
- BranchCuts
- Letterplace
- Letterplace
- Ncpoly
- 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
