Computing Homology Cycles with Certified Geometry Date March 07, 2012 Speakers Tamal Dey Affiliation Ohio State University School of Mathematics Topology