Scientific Computing with Automatic Result Verification

Matthew Adams , Adams