Komputeralgebra Rendszerek Bevezető és történeti áttekintés Czirbusz Sándor ELTE IK, Komputeralgebra Tanszék 2017. február 12. TARTALOMJEGYZÉK 1 of 82
TARTALOMJEGYZÉK 1 Mi a komputeralgebra 2 Történet 3 A MAPLE 4 A MATHEMATICA 5 A SAGE 6 Speciális és általános célú rendszerek 7 IRODALOM TARTALOMJEGYZÉK 2 of 82
MI A KOMPUTERALGEBRA Komputeralgebrai- vagy szimbolikus-algebrai rendszerek Szimbolikus számítások elvégzésére alkalmas számítógépes rendszerek (legtöbbször komoly numerikus és grafikus képességekkel). Az algebrai szó utal arra, hogy szimbolikus objektumokkal végzett műveletek algebrai eredetűek. Mi a komputeralgebra 3 of 82
MI A KOMPUTERALGEBRA Komputeralgebrai- vagy szimbolikus-algebrai rendszerek Szimbolikus számítások elvégzésére alkalmas számítógépes rendszerek (legtöbbször komoly numerikus és grafikus képességekkel). Az algebrai szó utal arra, hogy szimbolikus objektumokkal végzett műveletek algebrai eredetűek. A rendszerek alapfeladatai Mi a komputeralgebra 4 of 82
MI A KOMPUTERALGEBRA Komputeralgebrai- vagy szimbolikus-algebrai rendszerek Szimbolikus számítások elvégzésére alkalmas számítógépes rendszerek (legtöbbször komoly numerikus és grafikus képességekkel). Az algebrai szó utal arra, hogy szimbolikus objektumokkal végzett műveletek algebrai eredetűek. A rendszerek alapfeladatai matematikai objektumok szimbolikus ábrázolása Mi a komputeralgebra 5 of 82
MI A KOMPUTERALGEBRA Komputeralgebrai- vagy szimbolikus-algebrai rendszerek Szimbolikus számítások elvégzésére alkalmas számítógépes rendszerek (legtöbbször komoly numerikus és grafikus képességekkel). Az algebrai szó utal arra, hogy szimbolikus objektumokkal végzett műveletek algebrai eredetűek. A rendszerek alapfeladatai matematikai objektumok szimbolikus ábrázolása aritmetika ezekkel az objektumokkal Mi a komputeralgebra 6 of 82
MI A KOMPUTERALGEBRA Komputeralgebrai- vagy szimbolikus-algebrai rendszerek Szimbolikus számítások elvégzésére alkalmas számítógépes rendszerek (legtöbbször komoly numerikus és grafikus képességekkel). Az algebrai szó utal arra, hogy szimbolikus objektumokkal végzett műveletek algebrai eredetűek. A rendszerek alapfeladatai matematikai objektumok szimbolikus ábrázolása aritmetika ezekkel az objektumokkal Komputeralgebra mint tudományterület feladata... erre az aritmetikára épülő hatékony algoritmusok keresése, elemzése és megvalósítása tudományos kutatásokhoz és alkalmazásokhoz. [JK] Mi a komputeralgebra 7 of 82
MI AZ ALGEBRAI SZÁMÍTÁS? 1 Algebrai struktúrákon futnak a programok. Mi a komputeralgebra 8 of 82
MI AZ ALGEBRAI SZÁMÍTÁS? 1 Algebrai struktúrákon futnak a programok. 2 Az eredmények pontosak, nincs numerikus hiba (egzakt aritmetika). Mi a komputeralgebra 9 of 82
MI AZ ALGEBRAI SZÁMÍTÁS? 1 Algebrai struktúrákon futnak a programok. 2 Az eredmények pontosak, nincs numerikus hiba (egzakt aritmetika). 3 Függvényekkel is tudunk számolni. Mi a komputeralgebra 10 of 82
MI AZ ALGEBRAI SZÁMÍTÁS? 1 Algebrai struktúrákon futnak a programok. 2 Az eredmények pontosak, nincs numerikus hiba (egzakt aritmetika). 3 Függvényekkel is tudunk számolni. 4 Szimbolikus számítások: határozatlan integrál, polinomfaktorizáció. Mi a komputeralgebra 11 of 82
MI AZ ALGEBRAI SZÁMÍTÁS? 1 Algebrai struktúrákon futnak a programok. 2 Az eredmények pontosak, nincs numerikus hiba (egzakt aritmetika). 3 Függvényekkel is tudunk számolni. 4 Szimbolikus számítások: határozatlan integrál, polinomfaktorizáció. 5 Az eredmények lehetnek formulák, matematikai objektumok. Mi a komputeralgebra 12 of 82
ALGEBRAI VS. NUMERIKUS Numerikus Algebrai 2 4 0.5 2 4 1 2 2 + 3 5 2x + 3x = 5x cos(3.14159) 0.999999 cos π 1 1 x 2 0 x 2 1 dx 0.1438 x x 2 1 dx ln x2 1 2 a 2 b 2 (a b)(a + b) Mi a komputeralgebra 13 of 82
MIÉRT A tudományos számításokban gyakran találkozunk olyan feladatokkal, amikor olyan algebrai vagy analitikus kifejezéseink vannak, melyek több száz, vagy ezer egyenletből, képletből állnak. (Perturbációszámítás, égi mechanika, robotvezérlés) Mi a komputeralgebra 14 of 82
MIÉRT A tudományos számításokban gyakran találkozunk olyan feladatokkal, amikor olyan algebrai vagy analitikus kifejezéseink vannak, melyek több száz, vagy ezer egyenletből, képletből állnak. (Perturbációszámítás, égi mechanika, robotvezérlés) Az emberrel szemben a komputer nem hibázik. (Már, ha jó a program) Mi a komputeralgebra 15 of 82
MIÉRT A tudományos számításokban gyakran találkozunk olyan feladatokkal, amikor olyan algebrai vagy analitikus kifejezéseink vannak, melyek több száz, vagy ezer egyenletből, képletből állnak. (Perturbációszámítás, égi mechanika, robotvezérlés) Az emberrel szemben a komputer nem hibázik. (Már, ha jó a program) Vannak algoritmusok, melyek papírral és ceruzával kivitelezhetetlenek (faktorizáció, integrálás) Mi a komputeralgebra 16 of 82
MIÉRT A tudományos számításokban gyakran találkozunk olyan feladatokkal, amikor olyan algebrai vagy analitikus kifejezéseink vannak, melyek több száz, vagy ezer egyenletből, képletből állnak. (Perturbációszámítás, égi mechanika, robotvezérlés) Az emberrel szemben a komputer nem hibázik. (Már, ha jó a program) Vannak algoritmusok, melyek papírral és ceruzával kivitelezhetetlenek (faktorizáció, integrálás) A szimbolikus megoldások kompaktabbak, könnyebben kezelhetők, újrahasznosíthatók. Mi a komputeralgebra 17 of 82
MIÉRT A tudományos számításokban gyakran találkozunk olyan feladatokkal, amikor olyan algebrai vagy analitikus kifejezéseink vannak, melyek több száz, vagy ezer egyenletből, képletből állnak. (Perturbációszámítás, égi mechanika, robotvezérlés) Az emberrel szemben a komputer nem hibázik. (Már, ha jó a program) Vannak algoritmusok, melyek papírral és ceruzával kivitelezhetetlenek (faktorizáció, integrálás) A szimbolikus megoldások kompaktabbak, könnyebben kezelhetők, újrahasznosíthatók. Az eredmény mindig egzakt. Mi a komputeralgebra 18 of 82
MIÉRT A tudományos számításokban gyakran találkozunk olyan feladatokkal, amikor olyan algebrai vagy analitikus kifejezéseink vannak, melyek több száz, vagy ezer egyenletből, képletből állnak. (Perturbációszámítás, égi mechanika, robotvezérlés) Az emberrel szemben a komputer nem hibázik. (Már, ha jó a program) Vannak algoritmusok, melyek papírral és ceruzával kivitelezhetetlenek (faktorizáció, integrálás) A szimbolikus megoldások kompaktabbak, könnyebben kezelhetők, újrahasznosíthatók. Az eredmény mindig egzakt. Időtakarékosabb a hagyományos programrendszereknél. Mi a komputeralgebra 19 of 82
MIÉRT A tudományos számításokban gyakran találkozunk olyan feladatokkal, amikor olyan algebrai vagy analitikus kifejezéseink vannak, melyek több száz, vagy ezer egyenletből, képletből állnak. (Perturbációszámítás, égi mechanika, robotvezérlés) Az emberrel szemben a komputer nem hibázik. (Már, ha jó a program) Vannak algoritmusok, melyek papírral és ceruzával kivitelezhetetlenek (faktorizáció, integrálás) A szimbolikus megoldások kompaktabbak, könnyebben kezelhetők, újrahasznosíthatók. Az eredmény mindig egzakt. Időtakarékosabb a hagyományos programrendszereknél. Feleslegesek a függvénytáblák. Mi a komputeralgebra 20 of 82
MIÉRT A tudományos számításokban gyakran találkozunk olyan feladatokkal, amikor olyan algebrai vagy analitikus kifejezéseink vannak, melyek több száz, vagy ezer egyenletből, képletből állnak. (Perturbációszámítás, égi mechanika, robotvezérlés) Az emberrel szemben a komputer nem hibázik. (Már, ha jó a program) Vannak algoritmusok, melyek papírral és ceruzával kivitelezhetetlenek (faktorizáció, integrálás) A szimbolikus megoldások kompaktabbak, könnyebben kezelhetők, újrahasznosíthatók. Az eredmény mindig egzakt. Időtakarékosabb a hagyományos programrendszereknél. Feleslegesek a függvénytáblák. Gyorsítja a kutatásokat. Mi a komputeralgebra 21 of 82
Történet 22 of 82 IGÉNYEK, RENDSZEREK, ALGORITMUSOK, ALKALMAZÁSOK E négy, részben független tényező alakítja a rendszerek fejlődését. Igények: Fizikai, matematikai kutatások, számítások.
Történet 23 of 82 IGÉNYEK, RENDSZEREK, ALGORITMUSOK, ALKALMAZÁSOK E négy, részben független tényező alakítja a rendszerek fejlődését. Igények: Fizikai, matematikai kutatások, számítások. Rendszerek: Programozási nyelvek, programozási módszerek
Történet 24 of 82 IGÉNYEK, RENDSZEREK, ALGORITMUSOK, ALKALMAZÁSOK E négy, részben független tényező alakítja a rendszerek fejlődését. Igények: Fizikai, matematikai kutatások, számítások. Rendszerek: Programozási nyelvek, programozási módszerek Algoritmusok: Maga a komputeralgebra
Történet 25 of 82 IGÉNYEK, RENDSZEREK, ALGORITMUSOK, ALKALMAZÁSOK E négy, részben független tényező alakítja a rendszerek fejlődését. Igények: Fizikai, matematikai kutatások, számítások. Rendszerek: Programozási nyelvek, programozási módszerek Algoritmusok: Maga a komputeralgebra Alkalmazások: Az algoritmusok alkalmazására kifejlesztett rendszerek
Történet 26 of 82 IGÉNYEK, RENDSZEREK, ALGORITMUSOK, ALKALMAZÁSOK E négy, részben független tényező alakítja a rendszerek fejlődését. Igények: Fizikai, matematikai kutatások, számítások. Rendszerek: Programozási nyelvek, programozási módszerek Algoritmusok: Maga a komputeralgebra Alkalmazások: Az algoritmusok alkalmazására kifejlesztett rendszerek Persze, a vas ról se feledkezzünk el.
Történet 27 of 82 ALGORITMUSOK Euklidesz és a kínaiak: gcd, nemcsak Z-ben, CRA, moduláris aritmetika.
Történet 28 of 82 ALGORITMUSOK Euklidesz és a kínaiak: gcd, nemcsak Z-ben, CRA, moduláris aritmetika. Newton: gyors aritmetika, egyenletmegoldások.
Történet 29 of 82 ALGORITMUSOK Euklidesz és a kínaiak: gcd, nemcsak Z-ben, CRA, moduláris aritmetika. Newton: gyors aritmetika, egyenletmegoldások. Gauss: faktorizáció véges testek fölött.
Történet 30 of 82 ALGORITMUSOK Euklidesz és a kínaiak: gcd, nemcsak Z-ben, CRA, moduláris aritmetika. Newton: gyors aritmetika, egyenletmegoldások. Gauss: faktorizáció véges testek fölött. Fermat: prímfaktorizáció.
Történet 31 of 82 ALGORITMUSOK Euklidesz és a kínaiak: gcd, nemcsak Z-ben, CRA, moduláris aritmetika. Newton: gyors aritmetika, egyenletmegoldások. Gauss: faktorizáció véges testek fölött. Fermat: prímfaktorizáció. Hilbert: Gröbner-bázisok, szimbolikus integrálás.
Történet 32 of 82 IDŐREND 1955: Első deriváló program.
Történet 33 of 82 IDŐREND 1955: Első deriváló program. -1965: A Lisp és Fortran kora; heurisztikus integrálás, polinomkezelés. (MatLab, PM)
Történet 34 of 82 IDŐREND 1955: Első deriváló program. -1965: A Lisp és Fortran kora; heurisztikus integrálás, polinomkezelés. (MatLab, PM) 1965-1970: SIN, REDUCE, MatLab-68, Reduce-2
Történet 35 of 82 IDŐREND 1955: Első deriváló program. -1965: A Lisp és Fortran kora; heurisztikus integrálás, polinomkezelés. (MatLab, PM) 1965-1970: SIN, REDUCE, MatLab-68, Reduce-2 Korai 70-es évek: SAC, SC-2, CAMAL; MACSYMA: szimbolikus integrálás, hatérérték.
Történet 36 of 82 IDŐREND 1955: Első deriváló program. -1965: A Lisp és Fortran kora; heurisztikus integrálás, polinomkezelés. (MatLab, PM) 1965-1970: SIN, REDUCE, MatLab-68, Reduce-2 Korai 70-es évek: SAC, SC-2, CAMAL; MACSYMA: szimbolikus integrálás, hatérérték. 1970-1980: A REDUCE kora; speciális rendszerek (HEEP, TRIGMAN)
Történet 37 of 82 IDŐREND 1955: Első deriváló program. -1965: A Lisp és Fortran kora; heurisztikus integrálás, polinomkezelés. (MatLab, PM) 1965-1970: SIN, REDUCE, MatLab-68, Reduce-2 Korai 70-es évek: SAC, SC-2, CAMAL; MACSYMA: szimbolikus integrálás, hatérérték. 1970-1980: A REDUCE kora; speciális rendszerek (HEEP, TRIGMAN) 1980-as évek : PC, C; MAPLE, SMP MATHEMATICA; Cayley, GAP, PARI,FORM, MACULAY.
Történet 38 of 82 IDŐREND 1955: Első deriváló program. -1965: A Lisp és Fortran kora; heurisztikus integrálás, polinomkezelés. (MatLab, PM) 1965-1970: SIN, REDUCE, MatLab-68, Reduce-2 Korai 70-es évek: SAC, SC-2, CAMAL; MACSYMA: szimbolikus integrálás, hatérérték. 1970-1980: A REDUCE kora; speciális rendszerek (HEEP, TRIGMAN) 1980-as évek : PC, C; MAPLE, SMP MATHEMATICA; Cayley, GAP, PARI,FORM, MACULAY. Azóta: Tömegesedés Üzleteti modell
Történet 39 of 82 IDŐREND 1955: Első deriváló program. -1965: A Lisp és Fortran kora; heurisztikus integrálás, polinomkezelés. (MatLab, PM) 1965-1970: SIN, REDUCE, MatLab-68, Reduce-2 Korai 70-es évek: SAC, SC-2, CAMAL; MACSYMA: szimbolikus integrálás, hatérérték. 1970-1980: A REDUCE kora; speciális rendszerek (HEEP, TRIGMAN) 1980-as évek : PC, C; MAPLE, SMP MATHEMATICA; Cayley, GAP, PARI,FORM, MACULAY. Azóta: Tömegesedés Üzleteti modell Most is élnek: Magma, MATHEMATICA, MAPLE PARI/GP, GAP, SAGE, Macaulay2, Singular, Maxima
A MAPLE 40 of 82 RÖVID TÖRTÉNET 1980 ban a Waterlo egyetemen K.O. Geddes, Gaston Gonnet, Morven Gentleman hozzák létre. Cél : egy kisebb komputereken is hatékony CAS létrehozatala.
A MAPLE 41 of 82 RÖVID TÖRTÉNET 1980 ban a Waterlo egyetemen K.O. Geddes, Gaston Gonnet, Morven Gentleman hozzák létre. Cél : egy kisebb komputereken is hatékony CAS létrehozatala. 1984 tól a Watcom kezeli
A MAPLE 42 of 82 RÖVID TÖRTÉNET 1980 ban a Waterlo egyetemen K.O. Geddes, Gaston Gonnet, Morven Gentleman hozzák létre. Cél : egy kisebb komputereken is hatékony CAS létrehozatala. 1984 tól a Watcom kezeli 1988 ban Geddes éss Gonnet megalapítják a Waterloo Maple Software, Inc. t. A MAPLEvezető CAS sá válik
A MAPLE 43 of 82 RÖVID TÖRTÉNET 1980 ban a Waterlo egyetemen K.O. Geddes, Gaston Gonnet, Morven Gentleman hozzák létre. Cél : egy kisebb komputereken is hatékony CAS létrehozatala. 1984 tól a Watcom kezeli 1988 ban Geddes éss Gonnet megalapítják a Waterloo Maple Software, Inc. t. A MAPLEvezető CAS sá válik 1990 válság, Gonnet távozik.
A MAPLE 44 of 82 RÖVID TÖRTÉNET 1980 ban a Waterlo egyetemen K.O. Geddes, Gaston Gonnet, Morven Gentleman hozzák létre. Cél : egy kisebb komputereken is hatékony CAS létrehozatala. 1984 tól a Watcom kezeli 1988 ban Geddes éss Gonnet megalapítják a Waterloo Maple Software, Inc. t. A MAPLEvezető CAS sá válik 1990 válság, Gonnet távozik. Mérföldkövek MAPLEV, 8., 10,15,17. Jelenleg : 18.01
A MAPLE 45 of 82 RÖVID TÖRTÉNET 1980 ban a Waterlo egyetemen K.O. Geddes, Gaston Gonnet, Morven Gentleman hozzák létre. Cél : egy kisebb komputereken is hatékony CAS létrehozatala. 1984 tól a Watcom kezeli 1988 ban Geddes éss Gonnet megalapítják a Waterloo Maple Software, Inc. t. A MAPLEvezető CAS sá válik 1990 válság, Gonnet távozik. Mérföldkövek MAPLEV, 8., 10,15,17. Jelenleg : 18.01 http://www.cs.uwaterloo.ca/~kogeddes/ papers/banquet06/banquet06.htmlautentikus lapok
A MAPLE 46 of 82 JELLEMZŐK C-ben írt motor.
A MAPLE 47 of 82 JELLEMZŐK C-ben írt motor. A 10. verzió után a vizuális megjelenítés Java ban történik.
A MAPLE 48 of 82 JELLEMZŐK C-ben írt motor. A 10. verzió után a vizuális megjelenítés Java ban történik. Programozható (Algol W).
A MAPLE 49 of 82 JELLEMZŐK C-ben írt motor. A 10. verzió után a vizuális megjelenítés Java ban történik. Programozható (Algol W). A matematikai tudás csomagokban, ezek jelentős része MAPLE kód.
A MAPLE 50 of 82 JELLEMZŐK C-ben írt motor. A 10. verzió után a vizuális megjelenítés Java ban történik. Programozható (Algol W). A matematikai tudás csomagokban, ezek jelentős része MAPLE kód. Kétirányú kapcsolat Java, C, Fortran, VisualBasic felé
A MAPLE 51 of 82 JELLEMZŐK C-ben írt motor. A 10. verzió után a vizuális megjelenítés Java ban történik. Programozható (Algol W). A matematikai tudás csomagokban, ezek jelentős része MAPLE kód. Kétirányú kapcsolat Java, C, Fortran, VisualBasic felé Erős párhuzamosítás.
A MAPLE 52 of 82 JELLEMZŐK C-ben írt motor. A 10. verzió után a vizuális megjelenítés Java ban történik. Programozható (Algol W). A matematikai tudás csomagokban, ezek jelentős része MAPLE kód. Kétirányú kapcsolat Java, C, Fortran, VisualBasic felé Erős párhuzamosítás. Kliens-szerver megolodás.
A MAPLE 53 of 82 JELLEMZŐK C-ben írt motor. A 10. verzió után a vizuális megjelenítés Java ban történik. Programozható (Algol W). A matematikai tudás csomagokban, ezek jelentős része MAPLE kód. Kétirányú kapcsolat Java, C, Fortran, VisualBasic felé Erős párhuzamosítás. Kliens-szerver megolodás. Nem olcsó
A MATHEMATICA 54 of 82 RÖVID TÖRTÉNET Egy-emberes projekt: Stephen Wolfram;
A MATHEMATICA 55 of 82 RÖVID TÖRTÉNET Egy-emberes projekt: Stephen Wolfram; előd: SMP (Symbolic Manipulation Program), Wolfram és Chris A. Cole műve (ami főleg a Macsyma mintájára készült, de Wolfram ismerte illetve a Schoonschip kódját);
A MATHEMATICA 56 of 82 RÖVID TÖRTÉNET Egy-emberes projekt: Stephen Wolfram; előd: SMP (Symbolic Manipulation Program), Wolfram és Chris A. Cole műve (ami főleg a Macsyma mintájára készült, de Wolfram ismerte illetve a Schoonschip kódját); a név Steve Jobs-tól származik;
A MATHEMATICA 57 of 82 RÖVID TÖRTÉNET Egy-emberes projekt: Stephen Wolfram; előd: SMP (Symbolic Manipulation Program), Wolfram és Chris A. Cole műve (ami főleg a Macsyma mintájára készült, de Wolfram ismerte illetve a Schoonschip kódját); a név Steve Jobs-tól származik; V1.0: 1988;
A MATHEMATICA 58 of 82 RÖVID TÖRTÉNET Egy-emberes projekt: Stephen Wolfram; előd: SMP (Symbolic Manipulation Program), Wolfram és Chris A. Cole műve (ami főleg a Macsyma mintájára készült, de Wolfram ismerte illetve a Schoonschip kódját); a név Steve Jobs-tól származik; V1.0: 1988; eleinte főleg fizikában használzák;
A MATHEMATICA 59 of 82 RÖVID TÖRTÉNET Egy-emberes projekt: Stephen Wolfram; előd: SMP (Symbolic Manipulation Program), Wolfram és Chris A. Cole műve (ami főleg a Macsyma mintájára készült, de Wolfram ismerte illetve a Schoonschip kódját); a név Steve Jobs-tól származik; V1.0: 1988; eleinte főleg fizikában használzák; jelenleg: 11.01.
A MATHEMATICA 60 of 82 JELLEMZŐK C-ben íródott;
A MATHEMATICA 61 of 82 JELLEMZŐK C-ben íródott; saját önálló nyelve van (Wolfram Language);
A MATHEMATICA 62 of 82 JELLEMZŐK C-ben íródott; saját önálló nyelve van (Wolfram Language); lehetővé teszi a procedurális, szabálíalapú illetve funkcionális programozást (az utóbbiban nagyon erős);
A MATHEMATICA 63 of 82 JELLEMZŐK C-ben íródott; saját önálló nyelve van (Wolfram Language); lehetővé teszi a procedurális, szabálíalapú illetve funkcionális programozást (az utóbbiban nagyon erős); egyéb szolgáltatások: Wolfram Alpha, MATHEMATICA Online.
A SAGE 64 of 82 TÖRTÉNET Ambíció: a Magma, MATHEMATICA, MAPLE ingyenes szabadforrású alternatíváját megvalísítani.
A SAGE 65 of 82 TÖRTÉNET Ambíció: a Magma, MATHEMATICA, MAPLE ingyenes szabadforrású alternatíváját megvalísítani. Motiváció: Ki hisz egy olyan szotver eredményének, amit az ára miatt nem tud megnézni?
A SAGE 66 of 82 TÖRTÉNET Ambíció: a Magma, MATHEMATICA, MAPLE ingyenes szabadforrású alternatíváját megvalísítani. Motiváció: Ki hisz egy olyan szotver eredményének, amit az ára miatt nem tud megnézni? Alkotó: William Stein, Washington Egyetem és sokan mások.
A SAGE 67 of 82 TÖRTÉNET Ambíció: a Magma, MATHEMATICA, MAPLE ingyenes szabadforrású alternatíváját megvalísítani. Motiváció: Ki hisz egy olyan szotver eredményének, amit az ára miatt nem tud megnézni? Alkotó: William Stein, Washington Egyetem és sokan mások. 0.1. verzió: 2005. február 24.
A SAGE 68 of 82 TÖRTÉNET Ambíció: a Magma, MATHEMATICA, MAPLE ingyenes szabadforrású alternatíváját megvalísítani. Motiváció: Ki hisz egy olyan szotver eredményének, amit az ára miatt nem tud megnézni? Alkotó: William Stein, Washington Egyetem és sokan mások. 0.1. verzió: 2005. február 24. 1.0. verzió: 2006. február.
A SAGE 69 of 82 TÖRTÉNET Ambíció: a Magma, MATHEMATICA, MAPLE ingyenes szabadforrású alternatíváját megvalísítani. Motiváció: Ki hisz egy olyan szotver eredményének, amit az ára miatt nem tud megnézni? Alkotó: William Stein, Washington Egyetem és sokan mások. 0.1. verzió: 2005. február 24. 1.0. verzió: 2006. február. Ma: V6.4.1
A SAGE 70 of 82 JELLEMZŐK Alapok : Python, objektumorientáltság, a mag C.
A SAGE 71 of 82 JELLEMZŐK Alapok : Python, objektumorientáltság, a mag C. 150 szabadszoftvert integráltak hozzá.
A SAGE 72 of 82 JELLEMZŐK Alapok : Python, objektumorientáltság, a mag C. 150 szabadszoftvert integráltak hozzá. Parancssoros (ipython) és GUI Web-böngészőben.
A SAGE 73 of 82 JELLEMZŐK Alapok : Python, objektumorientáltság, a mag C. 150 szabadszoftvert integráltak hozzá. Parancssoros (ipython) és GUI Web-böngészőben. Beépített Wiki
A SAGE 74 of 82 JELLEMZŐK Alapok : Python, objektumorientáltság, a mag C. 150 szabadszoftvert integráltak hozzá. Parancssoros (ipython) és GUI Web-böngészőben. Beépített Wiki Upgradelés internetről.
A SAGE 75 of 82 JELLEMZŐK Alapok : Python, objektumorientáltság, a mag C. 150 szabadszoftvert integráltak hozzá. Parancssoros (ipython) és GUI Web-böngészőben. Beépített Wiki Upgradelés internetről. Szabad szerverek érhetők el.
A SAGE 76 of 82 JELLEMZŐK Alapok : Python, objektumorientáltság, a mag C. 150 szabadszoftvert integráltak hozzá. Parancssoros (ipython) és GUI Web-böngészőben. Beépített Wiki Upgradelés internetről. Szabad szerverek érhetők el. GPL
SPECIÁLIS ÉS ÁLTALÁNOS CÉLÚ RENDSZEREK Általános célú rendszerek Nagy matematikai apparátus, kellő lomhasággal. Speciális és általános célú rendszerek 77 of 82
SPECIÁLIS ÉS ÁLTALÁNOS CÉLÚ RENDSZEREK Általános célú rendszerek Nagy matematikai apparátus, kellő lomhasággal. Speciális célú rendszerek Specális területre optimalizáltak Speciális és általános célú rendszerek 78 of 82
SPECIÁLIS ÉS ÁLTALÁNOS CÉLÚ RENDSZEREK Általános célú rendszerek Nagy matematikai apparátus, kellő lomhasággal. Speciális célú rendszerek Specális területre optimalizáltak SCHOONSCHIP, CAMAL, SHEEP, STENSOR Speciális és általános célú rendszerek 79 of 82
SPECIÁLIS ÉS ÁLTALÁNOS CÉLÚ RENDSZEREK Általános célú rendszerek Nagy matematikai apparátus, kellő lomhasággal. Speciális célú rendszerek Specális területre optimalizáltak SCHOONSCHIP, CAMAL, SHEEP, STENSOR Speciális matematikai területek Speciális és általános célú rendszerek 80 of 82
SPECIÁLIS ÉS ÁLTALÁNOS CÉLÚ RENDSZEREK Általános célú rendszerek Nagy matematikai apparátus, kellő lomhasággal. Speciális célú rendszerek Specális területre optimalizáltak SCHOONSCHIP, CAMAL, SHEEP, STENSOR Speciális matematikai területek Egy összehasonlítás Speciális és általános célú rendszerek 81 of 82
IRODALOM I Járai Antal, Kovács Attila Komputeralgebra Informatikai Algoritmusok (sz: Iványi Antal) Elte Eötvös Kiadó, 2004 Kovács Attila Komputeralgebra a tudományokban és a gyakorlatban Alk. Mat. Lapok 18, 1998 André Heck Introduction to MAPLE Springer-Verlag, 2003 Geddes-Czapor-Labahn Algorithms for Computer Algebra Kluwer Academic, 1992 IRODALOM 82 of 82
IRODALOM II F. Winkler Polynomial Algorithms in Computer Algebra Springer,1996 R.Liska et al. COMPUTER ALGEBRA, Algorithms, Systems Applications web draft, 1999 IRODALOM 83 of 82