Are there any computer algebra system/libraries that can compute the null space of a large symbolic matrix in parallel? This problem arises when finding invariant polynomials of a continuous linear group action.
The same question has been asked before, but I hope there has been recent progress.