The following pages link to SDeval (Q25555):
Displaying 11 items.
- Using machine learning to improve cylindrical algebraic decomposition (Q2009221) (← links)
- Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition (Q2287902) (← links)
- Factoring linear partial differential operators in \(n\) variables (Q2635073) (← links)
- Semantic-Aware Fingerprints of Symbolic Research Data (Q2819250) (← links)
- Enhanced computations of gröbner bases in free algebras as a new application of the letterplace paradigm (Q2963244) (← links)
- Factoring linear differential operators in <i>n</i> variables (Q3452394) (← links)
- Factorization of ℤ$$ \mathbb {Z}$$-Homogeneous Polynomials in the First q-Weyl Algebra (Q4556586) (← links)
- Computing the Dixon Resultant with the Maple Package DR (Q4610015) (← links)
- Collaborative Computer Algebra (Q4610016) (← links)
- Letterplace (Q5145988) (← links)
- The SDEval benchmarking toolkit (Q5268959) (← links)
