Paper: Validated numerics in Python with ValidiP (David Sanders)

This is David Sanders's contribution to the SciPy 2014 proceedings: Validated numerics in Python with `ValidiPy`

Now ready for review.
Would the computer algebra systems Sage or SymPy have anything relevant about interval arithmetic in Python?