Home » Authors » Martin Clochard, Léon Gondelman, Mário Pereira

Martin Clochard, Léon Gondelman, Mário Pereira

Public reference bibliography and cataloged PDF materials authored or published by Martin Clochard, Léon Gondelman, Mário Pereira.

Found 1 document(s) Page 1 of 1

The Matrix Reproved

Year: 2018 • Source: hal.science • Listed PDF

In this paper we describe a complete solution for the first challenge of the VerifyThis 2016 competition held at the 18th ETAPS Forum. We present the proof of two variants for the multiplication of matrices: a naive vers...