Events by date

Tuesday, October 21, 2014

Tuesday, October 21, 2014 — 1:00 PM EDT

Jason Lotay, University College London

“Hyperkaehler 4-manifolds with boundary”

Tuesday, October 21, 2014 — 3:30 PM EDT

Mohammad Mahmoud, Pure Mathematics, University of Waterloo

"Torsion-free groups: linear independence and computable categoricity"

Tuesday, October 21, 2014 — 10:30 PM EDT

Ross Willard, Pure Mathematics, University of Waterloo

"Adding Gaussian elimination to local consistency checking - 2"

In this second of several lectures, I will present a polynomial-time consistency checking algorithm for constraint networks over a finite template having a Taylor polymorphism. I conjecture that the algorithm is complete for Maltsev templates, and in future lectures will provide evidence supporting this conjecture.

S M T W T F S
28
29
30
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
1
  1. 2021 (129)
    1. December (5)
    2. November (22)
    3. October (15)
    4. September (5)
    5. August (15)
    6. July (17)
    7. June (15)
    8. May (1)
    9. April (4)
    10. March (11)
    11. February (9)
    12. January (10)
  2. 2020 (103)
    1. December (10)
    2. November (12)
    3. October (4)
    4. September (3)
    5. August (1)
    6. July (5)
    7. June (1)
    8. May (3)
    9. March (16)
    10. February (26)
    11. January (22)
  3. 2019 (199)
  4. 2018 (212)
  5. 2017 (281)
  6. 2016 (335)
  7. 2015 (211)
  8. 2014 (235)
    1. December (5)
    2. November (36)
    3. October (34)
    4. September (17)
    5. August (7)
    6. July (17)
    7. June (23)
    8. May (22)
    9. April (13)
    10. March (17)
    11. February (22)
    12. January (22)
  9. 2013 (251)
  10. 2012 (135)