Axiom

What the maker publishes

Algebra

Axiom includes a language and algebra hierarchy for SPAD programmers. source

Browser interface

The documentation page says Axiom is being reworked to use Firefox as its new front end. source

Development

The project says it is being reimplemented as a literate program. source

Documentation

Its documentation includes a tutorial, user guide, programmer’s guide, and developer’s guide. source

Documentation

The project documents Axiom through volumes including a tutorial, user guide, programmer guide, and developer guide. source

Downloads

The download page provides source code and describes precompiled binaries for various platforms. source

Downloads

The download page provides source code and describes pre-compiled binaries for various platforms. source

Founded

1971 source

Free software

The FAQ says Axiom is free software available under a BSD-like license. source

Graphics

Axiom includes an X11 graphics subsystem and a gallery of images created using Axiom. source

License

Axiom is free software available under a BSD-like license. source

Linux

The FAQ lists Debian and Red Hat Linux among systems on which Axiom has been compiled and run. source

macOS

The download page includes Mac OS X Intel compile notes and mentions limitations affecting Hyperdoc and graphics. source

macOS limitation

The download page says the macOS port has pseudo-terminal issues that affect Hyperdoc and graphics. source

Programming

Axiom includes a programming language and a built-in compiler. source

Project history

The project page says Axiom has been in development since 1971, when it was called Scratchpad. source

Project size

The FAQ reports 92 MB of source code and about 56 MB once compiled. source

Purpose

Axiom is a scientific computation system. source

Purpose

Axiom is a general purpose computer algebra system for research and development of mathematical algorithms. source

Support

The FAQ identifies Tim Daly as Lead Axiom Developer. source

Type system

Axiom defines a strongly typed, mathematically correct type hierarchy. source

Windows

The site describes running Axiom on Windows using an X server and a Linux installation. source

Windows

The Windows instructions say Axiom needs an X server and a Linux installation to run on a Windows box. source

Checked against the maker's pages on 12 Oct 2026.