Wolna encyklopedia

Ten artykuł wymaga dodania linków wewnętrznych. Jeśli możesz, dodaj je teraz. Aby uzyskać taki efekt: teoria, dymu, Witolda Gombrowicza, lodowce górskie - linki tworzymy według składni: [[teoria]], [[dym]]u, [[Witold Gombrowicz|Witolda Gombrowicza]], '''[[lodowiec górski|lodowce górskie]]'''. Przed zapisaniem sprawdź, czy linki nie prowadzą do stron ujednoznaczniających.

Ten artykuł wymaga dopracowania zgodnie z zaleceniami edycyjnymi. Należy w nim poprawić: styl, język, źródła. Po wyeliminowaniu wskazanych powyżej niedoskonałości prosimy usunąć szablon {{Dopracować}} z kodu tego artykułu.

Macsyma jest programem typu Computer Algebra System, który został pierwotnie opracowywany w latach 1968 r. do 1982 w MIT w ramach projektu MAC i później wprowadzany do obrotu handlowego. Był to pierwszy kompleksowy system symboliczny matematyki i jeden z pierwszych systemów wiedzy. Wiele z jego rozwiązań zostało później przyjętych przez Mathematica, Maple, i inne systemy.

Projekt został zainicjowany w lipcu 1968 przez Carla Engelmana, Williama A. Martina (interfejs użytkownika, wyświetlanie wyrażeń, działania na wielomianach) i Joela Mosesa (upraszczanie wyrażeń, całkowanie nieoznaczone). Bill Martin był odpowiedzialny za projekt do 1971 r., a Moses prowadził go przez następną dekadę. Engelman i jego personel w 1969 r. odeszli do do MITER Corporation.

Później istotny wkład w rozwój programu wnieśli: Yannis Avgoustis (specjalne funkcje), David Barton (algsys), Richard Bogen (specjalne funkcje), Bill Dubuque (granice, moduł Grobner, TriangSys, całki nieoznaczone, szeregi potęgowe, teoria liczb, specjalne funkcje, równań funkcjonalnych, wzorzec dopasowania), Richard Fateman (funkcje racjonalne, dopasowania wzorca, arbitralna precyzja), Michael Genesereth (porównanie wiedzy, bazy danych), Jeff Golden (simplifier, język, system), RW Gosper (sumowanie określone, specjalne funkcje), Charles Karney (rysowanie), John Kulp, Ed Lafferty (ODE rozwiązani, specjalne funkcje), Stavros Macrakis (część rzeczywista i urojona, system), Barry Trager (algebraiczna integracja, faktoring, Grobner), Paul Wang (rozkła wielomianu na czynniki, ograniczenia, precyzyjna integracja), David YY Yun, Gail Zachariaza (Grobner) i Rich Zippel (szeregi potęg, faktoryzacja wielomianu na czynniki, teoria liczb, kombinatoryka).

Macsyma został napisany w Maclisp i w niektórych dziedzinach motywował usprawnienie języka LISP w dziedzinie informatyki liczbowej. Maclisp najpierw działał głównie na PDP-6 i PDP-10, ale również na Multics OS i na Lisp Machine. Macsyma był jednym z największych, jeśli nie największym, programem w języku Lisp w swoim czasie.