[math-fun] Symbolic null space solutions