Vsebina predmeta:

1. Sistemi za simbolno računanje
   • Mathematica
2. Predstavitev in poenostavljanje izrazov
   • Prepisovalni sistemi
3. Groebnerjeve baze
   • Uporaba v robotiki in geometriji
4. Reševanje rekurzivnih enačb
   • Polinomske in hipergeometrične rešitve
5. Seštevanje v zaključeni obliki
   • Gosperjev in Zeilbergerjev algoritem
6. Avtomatično dokazovanje identitet
   • Holonomne funkcije

Literatura:

1. Wolfram Mathematica 7 Documentation Center
2. M. Kreuzer, L. Robbiano: Computational Commutative Algebra 1, Springer 2000
3. M. Kreuzer, L. Robbiano: Computational Commutative Algebra 2, Springer 2005
4. J. von zur Gathen, J. Gerhard: Modern Computer Algebra, Cambridge University Press 1999, 2003
5. K. O. Geddes, S. R. Czapor, G. Labahn: Algorithms for Computer Algebra, Kluwer Academic Publishers 1992
6. D. Cox, J. Little, D. O'Shea: Ideals, Varieties, and Algorithms, Springer 1992, 1996, 2007
7. M. Petkovšek, H. S. Wilf, D. Zeilberger: A = B, A K Peters 1996