Antal poäng: 4. Betygskala: TH. Valfri för: D3, E3, F3. Kursansvarig: Studierektor, Lars_Christer.Boiers@math.lth.se, Matematik. Rekommenderade förkunskaper: Endimensionell analys, Linjär algebra. Prestationsbedömning: Muntlig tentamen, godkända inlämningsuppgifter. Övrigt: Kursen kan komma att ges på engelska. Hemsida: http://www.maths.lth.se/matematiklth/vitahyllan/vitahyllan.html.

Mål
Att introducera de grundläggande begrepp och algoritmer som modern datoralgebra är baserad på. Att förklara hur sådana datoralgebraprogram som ”Maple” fungerar och hur man använder dem effektivt. Kursen skall också ge grundläggande kunskaper inom klassisk algebra.

Innehåll

• Huvudalgoritmer: representation och effektiv hantering av tal, polynom och rationella funktioner. Faktorisering i Z, Z[x] och Zp[x].

• Gröbnerbaser och icke-linjära ekvationssystem. Praktiska tillämpningar.

• Isolering av reella rötter. Sturmföljder, kedjebråk.

• Modulära metoder: Hensel-lyft, Berlekamps algoritm.

• Summations- och integrationsteknik. Gospers algoritm.

Litteratur
Lindsay N. Childs, A: Concrete Introduction to Higher Algebra, Springer.
Egenproducerat material.