Representation Matters: An Unexpected Property of Polynomial Rings and its Consequences for Formalizing Abstract Field Theory.

Christoph Schwarzweller

Browse the full FedCSIS paper archive.