FriCAS. FriCAS is a general purpose computer algebra system with a strong focus on mathematical research and development of new algorithms. It comprises an interpreter, a compiler and a still-growing library
of more than 1,000 domains and categories.

FriCAS provides a strongly typed high-level programming language called SPAD and a similar interactive language
that uses type-inferencing for convenience. Aldor was intentionally developed being the 
next generation compiler for the Axiom CAS and its forks. FriCAS (optionally) allows running Aldor programs. Both languages
share a similar syntax and a sophisticated (dependent) type system.

FriCAS is comprehensively documented and available as source code and as a binary distribution for the most common
platforms. Compiling the sources requires besides other prerequisites a Common Lisp environment (whereby
many of the major implementations are supported and freely available as open source).

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

History 

Two computer algebra systems named Scratchpad were developed by IBM. The first one was started in 1965 by James Griesmer at the request of Ralph Gomory, and written in Fortran. The development of this software was stopped before any public release. The second Scratchpad, originally named Scratchpad II, was developed from 1977 on, at Thomas J. Watson Research Center, under the direction of Richard Dimick Jenks.

The design is principally due to Richard D. Jenks (IBM Research), James H. Davenport (University of Bath), Barry M. Trager (IBM Research), David Y.Y. 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). Implementation included Robert Sutor (IBM Research), Scott C. Morrison (University of California, Berkeley), Christine J. Sundaresan (IBM Research), Timothy Daly (IBM Research), Patrizia Gianni (University of Pisa), Albrecht Fortenbacher (Universitaet Karlsruhe), Stephen M. Watt (IBM Research and University of Waterloo), Josh Cohen (Yale University), Michael Rothstein (Kent State University), Manuel Bronstein (IBM Research), Michael Monagan (Simon Fraser University), Jonathan Steinbach (IBM Research), William Burge (IBM Research), Jim Wen (IBM Research), William Sit (City College of New York), and Clifton Williamson (IBM Research)

Scratchpad II was renamed Axiom when IBM decided, circa 1990, to make it a commercial product. A few years later, it was sold to NAG. 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 to resolve disagreements about project goals.

Examples 

FriCAS has a largely complete implementation of the 
Risch–Bronstein–Trager algorithm.

Another useful feature is stream:

)set stream calculate 5
exp_series := series(exp x, x=0)

Type: UnivariatePuiseuxSeries(Expression(Integer),x,0)

So any coefficient may be retrieved, for instance :

coefficient(exp_series,40)

Type: Expression(Integer)

See also

List of computer algebra systems

References

External links 
 FriCAS Homepage
 FriCAS Wiki
 SandBox: Try FriCAS online
 Documentation at fricas.github.io
 FriCAS API (sphinx)
 Source code repositories: SourceForge, GitHub
 Rosetta stone (pdf)
 Rosetta stone (some other formats)
 Rosetta Stone (html)
 rosettacode.org, Category:SPAD
 Forum: fricas-devel
 FriCAS Jupyter Kernel (jfricas/src)
 FriCAS Jupyter (pypi) 
Related:
 Axiom
 OpenAxiom
 A# programming language
 Aldor programming language

Common Lisp (programming language) software
Computer algebra system software for Linux
Free computer algebra systems
Free software programmed in Lisp
Software using the BSD license