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 o