Az alábbi információk tájékoztató jellegűek. A hatályos követelmények az egyetemi tanrendi keresőben találhatók.

Felvétel feltétele: a Közelítő és szimbolikus számítások I és a Diszkrét matematika II. tárgyak teljesítése.

Előadás: Kötelező 2 óra/5 kredit. Teljesítési módja: Kollokvium

Gyakorlat: Kötelező 1 óra/0 kredit. Teljesítési módja: Aláírás

• Számítógépes algebrai rendszerek, Maple eljárások és könyvtárak.
• Polinomgyűrűk ideáljai, Gröbner bázisok, eliminációelmélet, alkalmazások.
• Matematikai és numerikus programkönyvtárak használata.
• Matematikai leíró nyelvek, MathML.

1. André Heck: Bevezetés a Maple használatába, JGYTF Kiadó, Szeged, 1999.
2. David Cox et al.: Ideals, Varietas and Algoritmhs, Springer, New York, 1997.
3. Joachim von zur Gathen and Jürgen Gerhard:: Modern Computer Algebra, Cambridge University Press, 1999.