Hybrid Theorem Proving as a Lightweight Method for Verifying Numerical Software | IEEE Conference Publication | IEEE Xplore