The \textsc{SDEval} benchmarking toolkit
From MaRDI portal
Publication:5268959
Recommendations
- 20 years {\textsc{SymbolicData}}
- The Sage project: unifying free mathematical software to create a viable alternative to Magma, Maple, Mathematica and Matlab
- Race against the teens -- benchmarking mechanized math on pre-university problems
- \texttt{SAGE} for number theorists
- Tools for Scientific Computation
Cites work
- Factoring linear differential operators in \(n\) variables
- Factorization of \( \mathbb {Z}\)-homogeneous polynomials in the first \(q\)-Weyl algebra
- Parallel reduction of matrices in Gröbner bases computations
- PoCaB: A Software Infrastructure to Explore Algebraic Methods for Bio-chemical Reaction Networks
- homalg – A META-PACKAGE FOR HOMOLOGICAL ALGEBRA
Cited in
(6)- Collaborative computer algebra
- Using machine learning to improve cylindrical algebraic decomposition
- Semantic-aware fingerprints of symbolic research data
- 20 years {\textsc{SymbolicData}}
- Factorization of \( \mathbb {Z}\)-homogeneous polynomials in the first \(q\)-Weyl algebra
- Computing the Dixon resultant with the Maple package DR
Describes a project that uses
Uses Software
This page was built for publication: The \textsc{SDEval} benchmarking toolkit
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5268959)
