The maple codes
for the certification of the injective of the matrices set presented in the
paper
“The
minimal measurement number for the low rank matrix recovery”by Zhiqiang Xu
Maple
code which is used in the proof of Theorem 2.1
Maple code
which is used in the proof of Theorem 4.2