Learning selection strategies in Buchberger's algorithm
From MaRDI portal
Publication:6340024
arXiv2005.01917MaRDI QIDQ6340024
Michael Stillman, Dylan Peifer, Daniel Halpern-Leistner
Publication date: 4 May 2020
This page was built for publication: Learning selection strategies in Buchberger's algorithm