The SDEval benchmarking toolkit

DOI10.1145/2768577.2768578zbMATH Open1365.68493OpenAlexW1984067593MaRDI QIDQ5268959FDOQ5268959

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

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 SDEval benchmarking toolkit

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5268959)