Welcome to Axiom!

Axiom is a general purpose Computer Algebra system. It is useful for research and development of mathematical algorithms. The [Axiom Language]? provides a very high level way to express abstract mathematical concepts that are collected in the [Axiom Library]? which defines over 1,000 strongly-typed mathematical domains and categories.

This web site is called MathAction. Although it is mainly about Axiom, we also provide some support for other Computer Algebra systems. The Rosetta Stone document demonstrates how things are done in different systems. Currently you can use both Axiom and Reduce on this web site and outputs from both systems can appear together on the same web page.

	Try Axiom and Reduce online in the SandBox
o	You can download Axiom or [build Axiom]? from source code
	Axiom Documentation is abundant: from short introductory tutorials to the comprehensive Axiom book
o	Check the FAQ if you have questions. Report new bugs in the Issue Tracker.
	Join the [Axiom Community]? and keep up to date with our newsfeed

The [Axiom Foundation]? is our means to promote the development and maintenance of the open source version of Axiom through the dispersement of donations to support Axiom-related projects and through the Award Of Bounties.

We also gratefully acknowledge the support of our [Sponsor]?

CAISS