Álgebra computacional
De Wikipedia, la enciclopedia libre
[editar] Elementos del Algebra Computacional
El algebra computacional (o sistemas algebraicos de cómputo) trata principalmente sobre aritmética y complejidad en anillos de polinomios con sucesiones de restos y pseudorestos. Toma por ampliación la descomposición en factores libres de cuadrados y la teoría de subresultantes y aplicaciones, para luego acudir al Método de Barnett, esto conlleva que la descomposición paramétrica en factores libres de cuadrados y el anillo de polinomios en varias variables con las Bases de Groebner establece como otro parámetro la demostración automática de teoremas geométricos más la resolución efectiva de los sistemas de ecuaciones polinomiales cero dimensionales más la triangulación de sistemas juntamente con el Teorema de Stickelberger.