Certification of algorithm 43: crout II. - Carlos Domingo; F. Rodriquez-Gil (Commun. ACM, 1963)