Computing the Lagrangians of the standard model

S. A. Selesnick, J. P. Rawling. Computing the Lagrangians of the standard model. J. Applied Logic, 13(4):809-824, 2015. [doi]

Abstract

Abstract is missing.