The \textsc{SDEval} benchmarking toolkit
From MaRDI portal
Publication:5268959
DOI10.1145/2768577.2768578zbMATH Open1365.68493OpenAlexW1984067593MaRDI QIDQ5268959FDOQ5268959
Authors: Albert Heinle, V. Levandovskyy 
Publication date: 22 June 2017
Published in: ACM Communications in Computer Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2768577.2768578
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
- homalg – A META-PACKAGE FOR HOMOLOGICAL ALGEBRA
- PoCaB: A Software Infrastructure to Explore Algebraic Methods for Bio-chemical Reaction Networks
- 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
Cited In (6)
- 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
- Collaborative computer algebra
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)
