Obliczenia symboliczne

Listy zadań

• Lista 1
• Lista 2
• Lista 3
• Lista 4
• Lista 5
• Lista 6
• Lista 7
• Lista 8
• Lista 9
• Lista 10
• Lista 11
• Lista 12
• Lista 13
• Lista 14

Notatki:

• do wykładu 2
• do wykładu 7, wykładu 8 o Twierdzeniu Liouville'a

Programy przykładowe:

• mnożenie wielomianu przez liczbę
• kompozycja modularna wielomianów
• rekonstrukcja wymierna
• podnoszenie Hensla
• bazy Groebnera
• całki i śledzenie

Literatura do wykładu 3: J.H. Davenport, Y. Siret, E. Tournier rozdział 2

Dodatkowa literatura do wykładów 5 i 6: Bronstein, "Symbolic Integration", Rozdział 3.

Do wykładów 7 i 8: Davenport, Siret, Tournier, rozdział 5, Bronstein, rozdział 5.

Do metod modularnych: Davenport, Siret, Tournier, rozdział 4.