Letting Homogeneity Entropy Select S-Pairs in Buchberger's Algorithm.
Uzma Shafiq, Matthew England, AmirHosein Sadeghimanesh, Nayyar Zaidi
Browse the full CASC paper archive.
Uzma Shafiq, Matthew England, AmirHosein Sadeghimanesh, Nayyar Zaidi
Browse the full CASC paper archive.