Vitalsource Technologies, Inc. Numerical Verification Methods And Computer-assisted Proofs For Partial