The SDEval benchmarking toolkit

DOI10.1145/2768577.2768578zbMath1365.68493OpenAlexW1984067593MaRDI QIDQ5268959

Albert Heinle, Viktor 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

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items

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

Uses Software

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

Cites Work

• Parallel Reduction of Matrices in Gröbner Bases Computations
• PoCaB: A Software Infrastructure to Explore Algebraic Methods for Bio-chemical Reaction Networks
• Factoring linear differential operators in n variables
• homalg – A META-PACKAGE FOR HOMOLOGICAL ALGEBRA
• Factorization of ℤ$$ \mathbb {Z}$$-Homogeneous Polynomials in the First q-Weyl Algebra