July 25-29, 2011
Quillen-Suslin packageJuly 28, 2011 2:50 pm - 3:10 pm
Quillen-Suslin package
Sum of ideals decomposition of semigroup ringsJuly 26, 2011 9:30 am - 10:00 am
Sum of ideals decomposition of semigroup rings
Tensor complexesJuly 27, 2011 9:20 am - 9:40 am
Tensor complexes
Intro to SVN and pacakagesJuly 25, 2011 10:10 am - 10:45 am
Intro to SVN and pacakages
Homotopy theory for proof checking
July 28, 2011 3:10 pm - 3:30 pm
Homotopy theory for proof checking
R4ti2 interfaceJuly 26, 2011 2:50 pm - 3:10 pm
R4ti2 interface
Workshop IntroductionJuly 25, 2011 9:30 am - 10:10 am
Workshop Overview
Overview of the numerical algebraic geometry group agenda July 26, 2011 9:00 am - 9:30 am
Overview of the numerical algebraic geometry group agenda
Numerical Schubert Calculus package (or related)July 27, 2011 9:40 am - 10:00 am
Numerical Schubert Calculus package (or related)
DGAlgebrasJuly 29, 2011 9:30 am - 10:00 am
DGAlgebras
SchurRingsJuly 29, 2011 9:00 am - 9:30 am
SchurRings
Gaussian graphical models July 26, 2011 2:30 pm - 2:50 pm
Gaussian graphical models
Computing multiplier idealsJuly 26, 2011 3:10 pm - 3:30 pm
Computing multiplier ideals
Posets packageJuly 27, 2011 9:00 am - 9:20 am
Posets package
Tropical resultants July 28, 2011 2:30 pm - 2:50 pm
Tropical resultants