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.