MU25011 Symbolic Computations

Mathematical Institute in Opava
Summer 2016
Extent and Intensity
2/2/0. 6 credit(s). Type of Completion: zk (examination).
Guaranteed by
doc. RNDr. Hynek Baran, Ph.D.
Mathematical Institute in Opava
Course Enrolment Limitations
The course is also offered to the students of the fields other than those the course is directly associated with.
fields of study / plans the course is directly associated with
Course objectives (in Czech)
Přednáška pokrývá základní pojmy, metody a aplikace počítačové algebry. Důraz je kladen na praktické využití.
Syllabus
  • Computer algebra systems, data structures, symbolic manipulation.
    Rational arithmetic, polynomial arithmetic, greatest common divisor, extended Euclidean algorithm.
    Gauss elimination, determinant computation, resultant. Computations in algebraic extensions.
    Normal and canonical forms of polynomials and rational functions. Problem of discerning a zero.
    Systems of algebraic equations, polynomial ideals, triangular systems.
    Regular chains.
Literature
    recommended literature
  • Joel S. Cohen. Computer algebra and symbolic computation: mathematical methods. Natick, Massachusetts : A K Peters, 2003. ISBN 1-56881-159-4. info
  • Joel S. Cohen. Computer algebra and symbolic computation: elementary algorithms. Natick, Massachusetts : A K Peters, 2002. ISBN 1-56881-158-6. info
  • 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
  • K. O. Geddes, Stephen R. Czapor, G. Labahn. Algorithms for Computer Algebra. Kluwer Academic Publishers, Norwell, 1992. ISBN 0-7923-9259-0. info
Language of instruction
Czech
Further Comments
The course can also be completed outside the examination period.
The course is also listed under the following terms Summer 2013, Summer 2014, Summer 2015, Summer 2017, Summer 2018, Summer 2019.
  • Enrolment Statistics (Summer 2016, recent)
  • Permalink: https://is.slu.cz/course/sumu/summer2016/MU25011