Axiom

Spec sheet

Purpose

Axiom is a general purpose computer algebra system for research and development of mathematical algorithms.Read 12 Oct 2026 · nongnu.org

Support

The FAQ identifies Tim Daly as Lead Axiom Developer.Read 11 Oct 2026 · nongnu.org

License

Axiom is free software available under a BSD-like license.Read 11 Oct 2026 · nongnu.org

Founded

1971Read 28 Sep 2026 · nongnu.org

Algebra

Axiom includes a language and algebra hierarchy for SPAD programmers.Read 11 Oct 2026 · nongnu.org

Browser interface

The documentation page says Axiom is being reworked to use Firefox as its new front end.Read 12 Oct 2026 · nongnu.org

Development

The project says it is being reimplemented as a literate program.Read 11 Oct 2026 · nongnu.org

Documentation

The project documents Axiom through volumes including a tutorial, user guide, programmer guide, and developer guide.Read 12 Oct 2026 · nongnu.org

Downloads

The download page provides source code and describes pre-compiled binaries for various platforms.Read 12 Oct 2026 · nongnu.org

Free software

The FAQ says Axiom is free software available under a BSD-like license.Read 12 Oct 2026 · nongnu.org

Graphics

Axiom includes an X11 graphics subsystem and a gallery of images created using Axiom.Read 11 Oct 2026 · nongnu.org

Linux

The FAQ lists Debian and Red Hat Linux among systems on which Axiom has been compiled and run.Read 11 Oct 2026 · nongnu.org

macOS

The download page includes Mac OS X Intel compile notes and mentions limitations affecting Hyperdoc and graphics.Read 11 Oct 2026 · nongnu.org

macOS limitation

The download page says the macOS port has pseudo-terminal issues that affect Hyperdoc and graphics.Read 12 Oct 2026 · nongnu.org

Programming

Axiom includes a programming language and a built-in compiler.Read 12 Oct 2026 · nongnu.org

Project history

The project page says Axiom has been in development since 1971, when it was called Scratchpad.Read 12 Oct 2026 · nongnu.org

Project size

The FAQ reports 92 MB of source code and about 56 MB once compiled.Read 11 Oct 2026 · nongnu.org

Type system

Axiom defines a strongly typed, mathematically correct type hierarchy.Read 12 Oct 2026 · nongnu.org

Windows

The Windows instructions say Axiom needs an X server and a Linux installation to run on a Windows box.Read 12 Oct 2026 · nongnu.org

Where Specifiction places it

• Corporate Performance Management Software#19 of 317.5
• Math Solver Apps#50 of 687.5