Correction to: A Formalization of the Smith Normal Form in Higher-Order Logic
Crossref DOI link: https://doi.org/10.1007/s10817-022-09636-0
Published Online: 2022-08-06
Published Print: 2022-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Divasón, Jose http://orcid.org/0000-0002-5173-128X
Thiemann, René http://orcid.org/0000-0002-0323-8829
Text and Data Mining valid from 2022-08-06
Version of Record valid from 2022-08-06
Article History
First Online: 6 August 2022