Lecturer(s)


MARVAN Michal, doc. RNDr. CSc.

Course content

Systems of computer algebra, data structures, symbolic manipulations. Rational arithmetics, polynomial arithmetics, greatest common divisor, extended Euclidean algorithm, computation in algebraic extensions. Gaussian elimination, computation of determinants and resultants. Systems of algebraic equations, polynomial ideals, algebraic varieties, triangular systems, Gröbner bases. Symbolic differentiation, symbolic integration, symbolické solution of systems of differential equations.

Learning activities and teaching methods

unspecified

Recommended literature


A. M. Cohen, H. Cuypers a H. Sterk. Some Tapas of Computer Algebra. Springer, Berlin, 1999.

B. Buchberger, G.E. Collins, R. Loos a R. Albrecht. Computer algebra. Symbolic and Algebraic Computation. Springer, Wien, 1983.

J. von zur Gathen, J. Gerhard. Modern computer algebra. Cambridge University Press, New York, 1999.
