MU:MU25011 Symbolic Computations

MU25011 Symbolic Computations

Mathematical Institute in Opava
Summer 2013

Extent and Intensity

2/2/0. 6 credit(s). Type of Completion: zk (examination).

Guaranteed by

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 (in Czech)

Systémy počítačové algebry, datové struktury, symbolické manipulace.
Racionální aritmetika, aritmetika polynomů, největší společný dělitel, rozšířený Eukleidův algoritmus. Gaussova eliminace, výpočet determinantu, rezultant. Výpočty v algebraických rozšířeních.
Normální a kanonické formy polynomů a racionálních funkcí. Problém rozpoznávání nuly.
Systémy algebraických rovnic, polynomiální ideály, trojúhelníkové systémy.
Regulární řetězce.

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

English

Further Comments

The course can also be completed outside the examination period.