Login / Signup

Towards Verified Rounding Error Analysis for Stationary Iterative Methods.

Ariel KellisonMohit TekriwalJean-Baptiste JeanninGeoffrey C. Hulette
Published in: Correctness@SC (2022)
Keyphrases