线性代数
Linear algebra is effective on a polynomial ring formula_11 over a field . This has been first proved in 1926 by Grete Hermann. The algorithms resulting from Hermann's results are only of historical interest, as their computational complexity is too high for allowing effective computer computation.