Mestre's paper: http://www.aimath.org/~farmer/print/mestre_explicit.pdf
Mathematica notebook that implements the explicit formula: http://www.aimath.org/~farmer/print/explicit_formula_demo1b.nb
PDF of Mathematica notebook: http://www.aimath.org/~farmer/print/explicit_formula_demo1b.pdf
Sage file that implements the explicit formula (maybe not working) nathan.sage
Another sage file that has some explicit formula stuff, specific for elliptic curves explicit_formula.sage