Do algebra the way mathematicians do.

Anaxima is a free computer algebra system that thinks in symbols, not just numbers — solving, simplifying, differentiating, and integrating exactly. The lineage of MIT's Macsyma, the openness of Maxima, and a fork that's yours to bend.

Download Anaxima See what it solves

(%i1)

(%i3) describe(features);

Symbolic first. Numeric when you want it.

Everything Maxima can do, Anaxima can do — algebra, trigonometry, calculus, plotting, and decades of contributed packages — with a full programming language underneath and raw Lisp one call away.

solve(x^2-r*x-s^2-r*s=0, x);

Exact symbolic answers

Closed-form solutions, simplification, limits, series, and derivatives — results as formulas, not approximations.

fpprec: 10000$ bfloat(%pi);

Precision without ceilings

Arbitrary-precision integers, rationals bounded only by memory, and "bfloats" as long as you dare.

block([s:0], for k thru n ...)

A real language

ALGOL-like syntax with Lisp-like semantics: write functions, packages, and whole libraries in the system itself.

:lisp (reverse '(a b c))

Lisp at arm's reach

Written largely in Common Lisp — and the Lisp underneath is callable, scriptable, and hackable.

plot3d(sin(x)*cos(y), ...);

Plots, docs, front-ends

Built-in plotting, numerical libraries, an online manual, and friendly graphical front-ends.

load(community_package)$

Decades of packages

An active community has extended the system for over fifty years — and keeps going. Your fork inherits it all.

(%i4) download(your_machine);

Runs on Windows.

Grab the installer, run it, and you're solving in minutes.

Windows

InstallMaxima.exe

Licensed under the GPL — free to use, study, and share. (You're looking at proof.)

(%i5) history(anaxima);

Fifty years of symbolic computation.

Anaxima stands on one of the oldest continuous codebases in computing.

1968 — MIT
Macsyma

The original computer algebra system, built at Project MAC. It taught machines to do mathematics symbolically.
1998 — open source
Maxima

Released under the GPL and maintained ever since by a worldwide community, rivaling commercial systems like Mathematica and Maple.
2026 — this fork
Anaxima

A fresh branch of the tree: fully compatible, freely licensed, and pointed at what comes next.