Representation Matters: An Unexpected Property of Polynomial Rings and its Consequences for Formalizing Abstract Field Theory - Christoph Schwarzweller (Annals of computer science and information systems)