# Efficient derivation of null space of large symbolic matrices?

Hi all,

I'm wondering if anyone is aware of an efficient mechanism by which to derive the null space of a "large" symbolic matrix. Here, large means on the order of 10^2 rows, not necessarily square, where element (i,j) is a polynomial in symbolic parameters p_1,...,p_n, n also on the order of 10^2.

Conventional desktop symbol toolboxes like Matlab, Maxima, and Mathematica tend to break down at this problem size. Any pointers most welcome! Thanks.

-

Another useful trick (when working with rational coefficients or coefficients in a number field) is working over finite fields since large determinant computations use up huge amounts of memory. Use then either the Hensel lemma (working over $p-$adics) or combine the information coming from different primes in order to lift the solution to $\mathbb Z$ or $\mathbb Q$.