The \textsc{SDEval} benchmarking toolkit

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

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

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 (5)

• Using machine learning to improve cylindrical algebraic decomposition
• Factorization of ℤ$$ \mathbb {Z}$$-Homogeneous Polynomials in the First q-Weyl Algebra
• Computing the Dixon Resultant with the Maple Package DR
• Collaborative Computer Algebra
• Semantic-Aware Fingerprints of Symbolic Research Data

Uses Software

• GAP
• homalg
• SageMath
• SMT-LIB
• SymbolicData
• z3
• PoCaB
• StarExec
• CVC4
• BioModels
• SDeval
• KEGG

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)