Computing Homology Cycles with Certified Geometry