3 papers
cs.IT2026
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…
cs.DS2026
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…
q-bio.MN2025
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…