Universal Algebra Seminar

Ross Willard, Department of Pure Mathematics, University of Waterloo

“Adding Gaussian elimination to local consistency checking”

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.

Please note room change for term.