Vsebina predmeta:

  1. Sistemi za simbolno računanje
  2. Predstavitev in poenostavljanje izrazov
  3. Groebnerjeve baze
  4. Reševanje rekurzivnih enačb
  5. Seštevanje v zaključeni obliki
  6. Avtomatično dokazovanje identitet

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