Universal Algebra Seminar

Tuesday, October 28, 2014 10:30 am - 10:30 am EDT (GMT -04:00)

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.