-
Continuing: A Discussion of Dwyer-Kan Simplicial Localization
December 10, 2010 - 10:50am
-
Geometry of relativistic velocities
December 9, 2010 - 6:00pm
-
The complete Dirichlet-to-Neumann map for differential forms
December 9, 2010 - 4:30pm
-
Picard group of hypersurfaces in toric varieties
December 9, 2010 - 1:30pm
-
Spectral Sparsification of Graphs and Approximations of Matrices
December 8, 2010 - 4:30pm
-
Operadic Gröbner bases, an implementation
December 8, 2010 - 1:00pm
-
The Condition Number of a Matrix
December 7, 2010 - 4:30pm
-
ECM Algorithm (contd.) and Counting Points on Elliptic Curves
December 7, 2010 - 10:30am
-
Algebraic topology, formal verification, and program semantics, Part 2
December 6, 2010 - 3:30pm
-
Continuing: A Discussion of Dwyer-Kan Simplicial Localization
December 6, 2010 - 1:00pm