The Matrix Reproved (Verification Pearl)
Crossref DOI link: https://doi.org/10.1007/s10817-017-9436-2
Published Online: 2017-10-12
Published Print: 2018-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Clochard, Martin
Gondelman, Léon
Pereira, Mário http://orcid.org/0000-0003-4234-5376
Funding for this research was provided by:
Association Nationale de la Recherche et de la Technologie (ANR-12-INSE-0010, ANR-15-CE25-008)
Fundação para a Ciência e a Tecnologia (FCT-SFRH/BD/99432/2014)
License valid from 2017-10-12