Computer algebra systems like FriCAS implement a very large number of mathematical algorithms. By that we mean: ## mathematicaladj. - Of or relating to mathematics.
- Meaning
a Precise; exact. b Absolute; certain.
Ref: http://www.answers.com/mathematical&r=67 ## algorithmn. 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. 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. |