Learning Selection Strategies in Buchberger’s Algorithm

LearningSelectionStrategiesinBuchberger’sAlgorithmDylanPeifer1MichaelStillman1DanielHalpern-Leistner1Abstractforsomepolynomialsaandb,thentherecanbenosolution,becausetherighthandsidevanishesatanyso...