Validation Numerics: Theory And Applications