Maxima to system służący do manipulacji wyrażeniami symbolicznymi oraz numerycznymi. Jest jednym z lepszych systemów algebry komputerowej (Computer Algebra System, CAS). Dzięki Maxima możliwe jest obliczanie całek, różniczek, szeregór Taylora, transformat Laplace’a, układów równań liniowych i różniczkowych itd. Operacje sa mozliwe na macierzach, wektorach, zbiorach, listach, wielomianach i tensorach.
Maxima jest narzędziem zapewniającym wysoką precyzję obliczeń dzięki użyciu formatów mogących pomieścić bardzo duże liczby (arbitrarily precision). Funkcje mogą być przedstawiane graficznie na dwu- i trójwymiarowych wykresach.
Maxima powstała w 1982 roku jako odgałęzienie legendarnego dziś systemu Macsyma, rozwiniętego w latach sześćdziesiątych ubiegłego wieku. Kod źródłowy jest dostępny na licencji GPL.