Doing algebraic geometry with the RegularChains library

From MaRDI portal
Publication:2879164