Events by date

Ross Willard, Department of Pure Mathematics, University of Waterloo

“Adding Gaussian elimination to local consistency checking”