Axiom (computer algebra system)

From Wikipedia, the free encyclopedia
(Redirected from OpenAxiom)

Template:Short description

Page Module:Infobox/styles.css has no content.

Axiom
[[Programmer|DeveloperTemplate:Pluralize from text]]Independent group of people
Template:Infobox software/simple
Written inLisp
Operating systemCross-platform
TypeComputer algebra system
LicenseModified BSD License
Websitewww.nongnu.org/axiom
Repositoryhttps://git.sv.gnu.org/cgit/axiom.git

Script error: No such module "Check for conflicting parameters".

Axiom is a free, general-purpose computer algebra system. It consists of an interpreter environment, a compiler and a library, which defines a strongly typed hierarchy.

History

Two computer algebra systems named Scratchpad were developed by IBM. The first one was started in 1965 by James Griesmer[2] at the request of Ralph Gomory, and written in Fortran.[3] 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.[4]

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)[5]

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 under the Modified BSD License. Since then, the project's lead developer has been Tim Daly.

In 2007, Axiom was forked twice, originating two different open-source projects: OpenAxiom[6] and FriCAS,[7] following "serious disagreement about project goals".[8] The Axiom project continued to be developed by Tim Daly.

The current research direction is "Proving Axiom Sane", that is, logical, rational, judicious, and sound.

Documentation

Axiom is a literate program.[9] The source code is becoming available in a set of volumes which are available on the www.nongnu.org/axiom website. These volumes contain the actual source code of the system.

The currently available documents are:

Videos

The Axiom project has a major focus on providing documentation. Recently the project announced the first in a series of instructional videos, which are also available on the www.nongnu.org/axiom[10] website. The first video[11] provides details on the Axiom information sources.[11]

Philosophy

The Axiom project focuses on the “30 Year Horizon”. The primary philosophy is that Axiom needs to develop several fundamental features in order to be useful to the next generation of computational mathematicians. Knuth's literate programming technique is used throughout the source code. Axiom plans to use proof technology to prove the correctness of the algorithms (such as Rocq and ACL2).

Binary AXIOM packages are available for installation on a wide variety of platforms, such as Debian GNU/Linux.[12]

Design

In Axiom, each object has a type. Examples of types are mathematical structures (such as rings, fields, polynomials) as well as data structures from computer science (e.g., lists, trees, hash tables).

A function can take a type as argument, and its return value can also be a type. For example, Fraction is a function, that takes an IntegralDomain as argument, and returns the field of fractions of its argument. As another example, the ring of 4×4 matrices with rational entries would be constructed as SquareMatrix(4, Fraction Integer). Of course, when working in this domain, 1 is interpreted as the identity matrix and A^-1 would give the inverse of the matrix A, if it exists.

Several operations can have the same name, and the types of both the arguments and the result are used to determine which operation is applied (cf. function overloading).

Axiom comes with an extension language called SPAD. All the mathematical knowledge of Axiom is written in this language. The interpreter accepts roughly the same language.

Features

Within the interpreter environment, Axiom uses type inference and a heuristic algorithm to make explicit type annotations mostly unnecessary.

It features 'HyperDoc', an interactive browser-like help system, and can display two and three dimensional graphics, also providing interactive features like rotation and lighting. It also has a specialized interaction mode for Emacs, as well as a plugin for the TeXmacs editor.

  • HyperDoc displaying the available operations for a domain
    HyperDoc displaying the available operations for a domain
  • Axiom displaying a surface
    Axiom displaying a surface
  • Axiom Firefox Browser Interface
    Axiom Firefox Browser Interface
  • Axiom simplifying a heat equation
    Axiom simplifying a heat equation
  • Axiom matrix manipulation
    Axiom matrix manipulation
  • Axiom computing a Risch integral
    Axiom computing a Risch integral

Axiom has an implementation of the Risch algorithm for elementary integration, which was done by Manuel Bronstein and Barry Trager. While this implementation can find most elementary antiderivatives and whether they exist, it does have some non-implemented branches, and raises an error when such cases are encountered during integration.[13][14]

See also

Lua error in mw.title.lua at line 404: bad argument #2 to 'title.new' (unrecognized namespace name 'Portal').

References

Page Template:Reflist/styles.css has no content.

  1. ^ Page Module:Citation/CS1/styles.css has no content."AXIOM".
  2. ^ Page Module:Citation/CS1/styles.css has no content.Fitch, John (July 23, 2012). "James Griesmer 1929--2011". ACM Communications in Computer Algebra. 46 (1/2): 10–11. doi:10.1145/2338496.2338499. S2CID 36788754.
  3. ^ Page Module:Citation/CS1/styles.css has no content."Axiom Computer Algebra System". www.nongnu.org/axiom/.
  4. ^ Page Module:Citation/CS1/styles.css has no content."Richard D. Jenks Biographical Information". www.eecis.udel.edu.
  5. ^ Page Module:Citation/CS1/styles.css has no content."EUROCAL '85 | SpringerLink". www.springer.com.
  6. ^ Page Module:Citation/CS1/styles.css has no content."OpenAxiom: The Open Scientific Computation Platform". www.open-axiom.org.
  7. ^ Page Module:Citation/CS1/styles.css has no content."FriCAS 18a5ef5d99c796a89efeac06df40043a85b3d44d — FriCAS". fricas.github.io.
  8. ^ Page Module:Citation/CS1/styles.css has no content."History — FriCAS". fricas.github.io.
  9. ^ Why Literate Programming? at www.nongnu.org/axiom website
  10. ^ Page Module:Citation/CS1/styles.css has no content."Axiom Computer Algebra System". www.nongnu.org/axiom.
  11. ^ a b Page Module:Citation/CS1/styles.css has no content."Axiom Computer Algebra System Information Sources". YouTube. November 30, 2008.
  12. ^ Page Module:Citation/CS1/styles.css has no content."Debian". www.debian.org.
  13. ^ Page Module:Citation/CS1/styles.css has no content.Bronstein, Manuel (September 5, 2003). "Manuel Bronstein on Axiom's Integration Capabilities". groups.google.com. Retrieved 2023-02-10.
  14. ^ Page Module:Citation/CS1/styles.css has no content."integration - Does there exist a complete implementation of the Risch algorithm?". MathOverflow. Oct 15, 2020. Retrieved 2023-02-10.

Further reading

Page Template:Sister-inline/styles.css has no content.Script error: No such module "Sister project logo". Media related to Script error: No such module "Commons link". at Wikimedia Commons

Software forks:

Lua error in package.lua at line 80: module 'Module:Navbox/configuration' not found. Lua error in package.lua at line 80: module 'Module:Authority control/config' not found.

Retrieved from "https://cosmopedia.co/index.php?title=Axiom_(computer_algebra_system)&oldid=300474"