Rigorous computing in computer vision