Reasoning about Coding Theory: The Benefits We Get from Computer Algebra Clemens Ballarin and Lawrence C. Paulson Computer Laboratory, University of Cambridge, Cambridge CB2 3QG, UK {Clemens.Ballarin, Larry.Paulson}@cl.c

First Page		Document Content
Date: 2001-02-03 17:47:19		Reasoning about Coding Theory: The Benefits We Get from Computer Algebra Clemens Ballarin and Lawrence C. Paulson Computer Laboratory, University of Cambridge, Cambridge CB2 3QG, UK {Clemens.Ballarin, Larry.Paulson}@cl.c Add to Reading List Source URL: www21.in.tum.de Download Document from Source Website File Size: 184,76 KB Share Document on Facebook