Maxima est un système de manipulation d'expressions symboliques et numériques, y compris la différenciation, l'intégration, les séries de Taylor, les transformées de Laplace, les équations différentielles ordinaires, les systèmes d'équations linéaires, les polynômes, les ensembles, les listes, les vecteurs, les matrices et les tenseurs. Maxima produit des résultats numériques de haute précision en utilisant des fractions exactes, des nombres entiers à précision arbitraire et des nombres à virgule flottante à précision variable. Maxima peut tracer des fonctions et des données en deux et trois dimensions.

Maxima est un descendant de Macsyma, le légendaire système d'algèbre informatique développé à la fin des années 1960 au Massachusetts Institute of Technology. C'est le seul système basé sur cet effort encore accessible au public et avec une communauté d'utilisateurs active, grâce à sa nature open source. Macsyma était révolutionnaire à son époque, et de nombreux systèmes ultérieurs, tels que Maple et Mathematica, s'en sont inspirés.

Maxima est un système de calcul formel comparable aux systèmes commerciaux comme Mathematica et Maple. Il met l'accent sur le calcul mathématique symbolique : algèbre, trigonométrie, calcul, et bien plus encore.

Par exemple, Maxima résout x^2-r*xs^2-r*s=0 donnant les résultats symboliques [x=r+s, x=-s].

Maxima peut calculer avec des nombres entiers et des fractions exacts, des virgules flottantes natives et de grands flottants de haute précision.

Maxima propose des interfaces conviviales, un manuel en ligne, des commandes de traçage et des bibliothèques numériques. Les utilisateurs peuvent écrire des programmes dans leur langage de programmation natif, et beaucoup ont fourni des packages utiles dans divers domaines au fil des décennies.

Maxima est en grande partie écrit en Common Lisp. Une communauté active maintient et étend le système.

La succursale Maxima de Macsyma a été maintenue par William Schelter de 1982 jusqu'à son décès en 2001.

Ce sont ses efforts et ses compétences qui ont rendu possible la survie de Maxima, et nous lui sommes très reconnaissants d'avoir offert son temps et ses connaissances d'expert pour maintenir le code original DOE Macsyma bien vivant. Depuis sa mort, un groupe d'utilisateurs et de développeurs s'est formé pour apporter Maxima à un public plus large.

Maxima est mis à jour très fréquemment, pour corriger des bogues et améliorer le code et la documentation.

• Spécialisé dans les opérations symboliques mais offrant également des capacités numériques.

• Peut être accessible par programmation et étendu, car le Lisp sous-jacent peut être appelé à partir de celui-ci.

• Langage de programmation complet avec une syntaxe de type ALGOL mais une sémantique de type Lisp.

• Entiers à précision arbitraire.

• Nombres rationnels de tailles limités uniquement par la mémoire machine.

• Nombres à virgule flottante arbitrairement grands ("bfloats").