|
|
last edited 4 months ago by test1 |
1 2 3 4 5 6 7 8 | ||
Editor: test1
Time: 2015/09/22 16:11:56 GMT+0 |
||
Note: |
changed: -Computer algebra systems like Axiom implement a very large number of Computer algebra systems like FriCAS implement a very large number of changed: -- [Axiom Algebra] - [FriCAS Algebra] added: <hr> 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.
Computer algebra systems like FriCAS? implement a very large number of [mathematical algorithms]?. By that we mean:
adj.
a Precise; exact. b Absolute; certain.
Ref: http://www.answers.com/mathematical&r=67
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:
Core algorithms in FriCAS? deal with commutative algebra:
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
and it appears to be used at
An interesting project would be to classify Axiom's math algorithms relative to this scheme.