“Adding Gaussian elimination to local consistency checking”

Ross Willard, Department of Pure Mathematics, University of Waterloo

In this third of several lectures, I begin the analysis of a template which has a Maltsev polymorphism and which survives the search for an inconsistency outlined in the first two lectures.

MC 5158B

**Please note room change for term**