Formal Verification of Executable Matrix Inversion via Adjoint Matrix and Gaussian Elimination.

ZhengPu Shi, Gang Chen

Browse the full PPDP paper archive.