On the Formalization of Pseudoinverse of the Laplacian Matrix in HOL.

Kubra Aksoy, Adnan Rashid, Sofine Tahar

Browse the full VECoS paper archive.