login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

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



  1. Of or relating to mathematics.
  2. Meaning

    a Precise; exact. b Absolute; certain.

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



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:

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.

On Wednesday, June 15, 2005 12:42 AM daly@axiom-developer.org wrote:

Subject: Axiom-developer Mathematics Subject Classification

There is a mathematics subject classification scheme list at


and it appears to be used at


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

  Subject:   Be Bold !!
  ( 12 subscribers )  
Please rate this page: