Authors:R. Kobayashi、M. Lange、A. Minamihata、S.M. Rump
We describe methods to compute a verified inclusion of a basis of the null space of rectangular, real or complex matrix. The quality of the inclusion correlates with the ratio of the largest and smallest singular value of the input matrix. Some executable INTLAB routines are given.