4 papers
Letting Homogeneity Entropy Select S-Pairs in Buchberger's Algorithm
Uzma Shafiq, Matthew England, AmirHosein Sadeghimanesh +1
We present a novel S-pair selection strategy called Homogeneity Entropy, for deciding the sequence of S-polynomials to construct in Buchberger's algorithm to compute a Groebner bas…
Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons
Abiola Babatunde, Matthew England, AmirHosein Sadeghimanesh
The Conflict-Driven Cylindrical Algebraic Covering algorithm has proven well suited for performing theory validation checks in the satisfiability modulo theories paradigm for non-l…
Understanding Multistationarity of Fully Open Reaction Networks
Shenghao Yao, AmirHosein Sadeghimanesh, Matthew England
This work addresses multistationarity of fully open reaction networks equipped with mass action kinetics. We improve upon the existing results relating existence of positive feedba…
Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD
Tereso del RÃo, Matthew England
Symbolic Computation algorithms and their implementation in computer algebra systems often contain choices which do not affect the correctness of the output but can significantly i…