Towards Verified Rounding-Error Analysis for Stationary Iterative Methods.
Abstract not provided.
Kellison, Ariel↗
Engineering topics
Tekriwal, Mohit
Publications and source records attributed to Tekriwal, Mohit.
Engineering topics
Publications and source records attributed to Tekriwal, Mohit.
Abstract not provided.