Edit detail for mathematical algorithms revision 6 of 7

Computer algebra systems like FriCAS? implement a very large number of [mathematical algorithms]?. By that we mean:

mathematical

adj.

1. Of or relating to mathematics.
2. Meaning

   a Precise; exact. b Absolute; certain.

Ref: http://www.answers.com/mathematical&r=67

algorithm

n.

A step-by-step problem-solving procedure, especially an established, recursive computational procedure for solving a problem in a finite number of steps.

Ref: http://www.answers.com/algorithms&r=67

Links to other pages on related subjects:

• [FriCAS Algebra]?
• [Interval Arithmetic]?
• [Manipulating Expressions]?
• [Real Numbers]?
• [Simplifying Expressions]?
• [RischImplementationStatus]?
• [Group Algorithms]?

Core algorithms in FriCAS? deal with commutative algebra:

• polynomial arithmetic
• polynomial GCD and factorization
• Groebner bases and triangular system

Support for calculus uses notion of kernel: kernels represent algebraic and transcendental functions. In arithmetic kernels behave like variables, but for example have interesting derivatives.

Subject: [Axiom-developer]? Mathematics Subject Classification

There is a mathematics subject classification scheme list at

http://www.ams.org/msc

and it appears to be used at

http://www.math-atlas.org

An interesting project would be to classify Axiom's math algorithms relative to this scheme.