FriCAS

FriCAS is a general purpose computer algebra system with a strong focus on mathematical research and development of new algorithms.

Aldor was intentionally developed being the next generation compiler for the Axiom CAS and its forks.

Both languages share a similar syntax and a sophisticated (dependent) type system.

[2][3][4] FriCAS is comprehensively documented and available as source code and as a binary distribution for the most common platforms.

FriCAS runs on many POSIX platforms such as Linux, macOS, Unix, BSD as well as under Cygwin and Microsoft Windows (WSL).

The first one was started in 1965 by James Griesmer[5] at the request of Ralph Gomory, and written in Fortran.

Yun (Southern Methodist University) and Victor S. Miller (IBM Research).

Early consultants on the project were David Barton (University of California, Berkeley) and James W. Thatcher (IBM Research).

In 2001, it was withdrawn from the market and re-released to Tim Daly under the Modified BSD License.

In 2007, Axiom was forked as FriCAS by Waldek Hebisch following encouragement from Tim Daly[9] to resolve disagreements about project goals.