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