Keyword:Reed-Solomon coding

Papers
Verified Erasure Correction in Coq with MathComp and VST Joshua M. Cohen, Qinshi Wang and Andrew W. Appel EasyChair Preprint no. 8636