Izbrana poglavja iz simbolnega računanja 2009
- Predavatelj: Prof. dr. Marko Petkovšek
- Domača stran: http://www.fmf.uni-lj.si/~petkovsek/ipsr.htm
- E-mail: Marko.Petkovsek@fmf.uni-lj.si
- Tel.: (01) 4766 680
- Kabinet: Jadranska 21/IV desno, 4.09
- Govorilna ura: petek 10:15 - 12
Izpitni roki
- 1. pisni izpit: ponedeljek, 15.6.2009
- 2. pisni izpit: ponedeljek, 29.6.2009
- 3. pisni izpit: ponedeljek, 14.9.2009
Za pisni izpit se prosim prijavite najkasneje tri dni pred rokom po elektronski pošti na gornji naslov. S seboj prinesite indekse in izpolnjene
(papirnate) prijavnice.
Študijsko gradivo:
Vsebina predmeta in literatura
Osnovno o Mathematici
Mathematica 1. del (23.2.2009)
Mathematica 2. del (2.3.2009)
Mathematica 3. del (9.3.2009)
Nachum Dershowitz: dodatno gradivo o prepisovalnih sistemih
Knuth-Bendixov algoritem - implementacija
Knuth-Bendixov algoritem - primeri
Buchbergerjev algoritem
1. domača naloga (18.5.2009)
rešitve 1. domače naloge (25.5.2009)
Polinomske rešitve rekurzivnih enačb in Gosperjev algoritem (25.5.2009)
2. domača naloga (25.5.2009)
rešitve 2. domače naloge (1.6.2009)
Nekaj kazalcev:
Mathematica:
Mathematica Player
(za branje zvezkov)
Mathematica
Drugi sistemi:
CoCoA
Maple
Magma
Macsyma/Maxima
MuPAD
SAGE
(geslo v Wikipediji)
Singular
Informacije o simbolnem računanju:
SymbolicNet
CAIN (Computer Algebra Information Network)