2 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.LG2024
Transformers to Predict the Applicability of Symbolic Integration Routines
Rashid Barket, Uzma Shafiq, Matthew England +1
Symbolic integration is a fundamental problem in mathematics: we consider how machine learning may be used to optimise this task in a Computer Algebra System (CAS). We train transf…