Crossmark

A Library for Formalization of Linear Error-Correcting Codes

Crossref DOI link: https://doi.org/10.1007/s10817-019-09538-8

Published Online: 2020-01-06

Published Print: 2020-08

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Affeldt, Reynald https://orcid.org/0000-0002-2327-953X
Garrigue, Jacques https://orcid.org/0000-0001-8056-5519
Saikawa, Takafumi https://orcid.org/0000-0003-4492-745X
License Information

Text and Data Mining valid from 2020-01-06

Version of Record valid from 2020-01-06
More Information

Article History

Received: 25 December 2017

Accepted: 29 November 2019

First Online: 6 January 2020