MU03261 Computer Algebra

Mathematical Institute in Opava
Summer 2018
Extent and Intensity
2/2/0. 6 credit(s). Type of Completion: zk (examination).
Guaranteed by
doc. RNDr. Michal Marvan, CSc.
Mathematical Institute in Opava
Course Enrolment Limitations
The course is offered to students of any study field.
Course objectives
The course covers basic concepts, methods, and applications of computer algebra. Emphasis is laid on practical application.
Syllabus
  • 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.
Literature
    recommended literature
  • J. von zur Gathen, J. Gerhard. Modern computer algebra. Cambridge University Press, New York, 1999. info
  • A. M. Cohen, H. Cuypers a H. Sterk. Some Tapas of Computer Algebra. Springer, Berlin, 1999. info
  • B. Buchberger, G.E. Collins, R. Loos a R. Albrecht. Computer algebra. Symbolic and Algebraic Computation. Springer, Wien, 1983. info
Language of instruction
Czech
Further comments (probably available only in Czech)
The course can also be completed outside the examination period.
Teacher's information
Individual or small-group project-based learning.
The examination consists of an oral defense of the elaborated project.
The course is also listed under the following terms Summer 2000, Summer 2001, Summer 2002, Summer 2003, Summer 2004, Summer 2005, Summer 2006, Summer 2007, Summer 2008, Summer 2009, Summer 2010, Summer 2011, Summer 2012, Summer 2013, Summer 2014, Summer 2015, Summer 2016, Summer 2017, Summer 2019.
  • Enrolment Statistics (Summer 2018, recent)
  • Permalink: https://is.slu.cz/course/sumu/summer2018/MU03261