Reduce is a general-purpose
computer algebra system
A computer algebra system (CAS) or symbolic algebra system (SAS) is any mathematical software with the ability to manipulate mathematical expressions in a way similar to the traditional manual computations of mathematicians and scientists. The ...
geared towards applications in physics.
The development of the Reduce computer algebra system was started in the 1960s by
Anthony C. Hearn
Anthony C. Hearn is an Australian-American computer scientist and adjunct staff member at RAND Corporation and at the Institute for Defense Analyses Center for Computing Sciences. He is best known for his pioneering contributions in mathematica ...
. Since then, many scientists from all over the world have contributed to its development under his direction.
Reduce is written entirely in its own
LISP
A lisp is a speech impairment in which a person misarticulates sibilants (, , , , , , , ). These misarticulations often result in unclear speech.
Types
* A frontal lisp occurs when the tongue is placed anterior to the target. Interdental lispi ...
dialect called
Portable Standard Lisp
Portable Standard Lisp (PSL) is a programming language, a dialect of the language Lisp. PSL was inspired by its predecessor, ''Standard Lisp'' and the Portable Lisp Compiler. It is tail-recursive, late binding (or dynamically bound), and was devel ...
, expressed in an
ALGOL
ALGOL (; short for "Algorithmic Language") is a family of imperative computer programming languages originally developed in 1958. ALGOL heavily influenced many other languages and was the standard method for algorithm description used by th ...
-like syntax called
RLISP. The latter is used as a basis for Reduce's user-level language.
Implementations of Reduce are available on most variants of
Unix
Unix (; trademarked as UNIX) is a family of multitasking, multiuser computer operating systems that derive from the original AT&T Unix, whose development started in 1969 at the Bell Labs research center by Ken Thompson, Dennis Ritchie, a ...
,
Linux
Linux ( or ) is a family of open-source Unix-like operating systems based on the Linux kernel, an operating system kernel first released on September 17, 1991, by Linus Torvalds. Linux is typically packaged as a Linux distribution, which i ...
,
Microsoft Windows, or
Apple Macintosh
The Mac (known as Macintosh until 1999) is a family of personal computers designed and marketed by Apple Inc. Macs are known for their ease of use and minimalist designs, and are popular among students, creative professionals, and software ...
systems by using an underlying
Portable Standard Lisp
Portable Standard Lisp (PSL) is a programming language, a dialect of the language Lisp. PSL was inspired by its predecessor, ''Standard Lisp'' and the Portable Lisp Compiler. It is tail-recursive, late binding (or dynamically bound), and was devel ...
or
Codemist Standard LISP implementation. The
Julia
Julia is usually a feminine given name. It is a Latinate feminine form of the name Julio and Julius. (For further details on etymology, see the Wiktionary entry "Julius".) The given name ''Julia'' had been in use throughout Late Antiquity (e ...
package Reduce.jl
uses Reduce as a backend and implements its semantics in Julia style.
Reduce was
open source
Open source is source code that is made freely available for possible modification and redistribution. Products include permission to use the source code, design documents, or content of the product. The open-source model is a decentralized sof ...
d in December 2008
and is available for free under a modified
BSD license
BSD licenses are a family of permissive free software licenses, imposing minimal restrictions on the use and distribution of covered software. This is in contrast to copyleft licenses, which have share-alike requirements. The original BSD li ...
on
SourceForge
SourceForge is a web service that offers software consumers a centralized online location to control and manage open-source software projects and research business software. It provides source code repository hosting, bug tracking, mirrori ...
. Previously it had cost $695.
See also
*
Comparison of computer algebra systems
The following tables provide a comparison of computer algebra systems (CAS). A CAS is a package comprising a set of algorithms for performing symbolic manipulations on algebraic objects, a language to implement them, and an environment in which to ...
*
ALTRAN
* REDUCE Meets
CAMAL
Cambridge Algebra System (CAMAL) is a computer algebra system written in Cambridge University by David Barton, Steve Bourne, and John Fitch. It was initially used for computations in celestial mechanics and general relativity. The foundation code ...
- REDUCE Computer Algebra System - J. P. Fitc
References
External links
*
*
Reduce wiki on SourceForge.* Anthony C. Hearn
''Reduce User's Manual Version 3.8'' February 2004
* Anthony C. Hearn
"Reduce: The First Forty Years" invited paper presented at the A3L Conference in Honor of the 60th Birthday of Volker Weispfenning, April 2005.
* Andrey Grozin
"TeXmacs-Reduce interface" April 2012.
Computer algebra system software for Linux
Computer algebra systems
Formerly proprietary software
Free computer algebra systems
Free software programmed in Lisp
Software using the BSD license
{{science-software-stub