A New Interactive Certificate for Matrix Rank
Loading...
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
A new interactive certificate for matrix rank, based on the certification of a maximal nonsingular submatrix, is described. Versions of this for matrices over abstract fields and integer matrices are each described.