Para tener acceso a buena parte del material del curso debe ingresar con su cuenta de gmail de la Universidad Nacional
Lectura recomendada: Symbolic Computation (Bruno Buchberger)
Semana 1: Una primera mirada al álgebra computacional.
Semana 2: Notación asintótica. Complejidad de las operaciones básicas.
Semana 3: Algoritmo de Karatsuba. Algoritmo de Strassen para multiplicar matrices. Algotimo de la División.
Semana 4: Complejidad Algoritmo de Euclides. Números primos y factorización de enteros.
Semana 5: Función Phi de Euler. Certificado de Primalidad de Pratt.
Semana 6: Teorema Chino del Residuo. Algoritmo de Garner. Dominios de Integridad.
Semana 7: Divisibilidad en Dominios de Integridad. Dominios de Factorización Única.
Semana 8: Dominios Euclidianos. (Examen 1- Miércoles 18 de Diciembre.)
Semana 9: Anillo de Polinomios. Algiritmo de la División. MCD.
Semana 10: Transformada Discreta de Fourier
Semana 11: Inversa Transformada de Fourier. Factorización en Q[x]
Semana 12: Factorización Libre de Cuadrados. Otros criterios de irreducibilidad. Factorización en \Z[x] a partir de su factorización en \Z_p[x]
Semana 13: Algoritmo de Berlekamp - I
Semana 14: Algoritmo de Berlekamp - II. Algoritmo probabilístico de Cantor-Zassenhaus. Introducción a las Bases de Grobner.
Semana 15:
Referencias:
W. Koepf. Computer Algebra, An Algorithm-Oriented Introduction. Springer, 2021.
K.O. Geddes, S. R. Czapor, G. Labahn. Algorithms for Computer Algebra. Kluwer Academic Publisher, 1992.
E. A. Lamagna. Computer Algebra, Concepts and Techniques. CRC Press, 2019.
A. Das. Computational Number Theory. CRC Press, 2013.
N. Lauritzen. Concrete Abstract Algebra. From Numbers to Gröbner Bases, Cambridge University Press, 2003.
Lecturas Recomendadas
Lectura recomendada: 4959866989151226098104244512918
Lectura recomendada: The Coefficients of Cyclotomic Polynomials
Paul Erdös - On the coefficients of the cyclotomic polynomial, 1946.
Lectura recomendada: The OEIS: A Fingerprint File for Mathematics (N. Sloane).
Web recomendada: History of Mathematics (MoMath-Wolfram)
Web recomendada: Symbolic Integration Rules