19 citations · 31 across the 9 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
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…