July 25 - 29, 2011
Quillen-Suslin package
Sum of ideals decomposition of semigroup rings
Tensor complexes
Intro to SVN and pacakages
Homotopy theory for proof checking
R4ti2 interface
Workshop Overview
Overview of the numerical algebraic geometry group agenda
Numerical Schubert Calculus package (or related)
DGAlgebras
SchurRings
Gaussian graphical models
Computing multiplier ideals
Posets package
Tropical resultants