Assume that I have $k$ polynomials $f_1(x_1,\ldots x_n),f_2(x_1,\ldots x_n),\ldots f_k(x_1,\ldots x_n)$ in $n>k$ variables. Does it possible to calculate(=exist fast algorithm) dimension of variety $Z(f_1,\ldots f_k)$?
Does there exists good criterion to check if dimension of $Z(f_1,\ldots f_k)$ is $n-k$ when all $f_i$ are quadratic polynomials?