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

Edit detail for mathematical algorithms revision 4 of 7

1 2 3 4 5 6 7
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:

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]?


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

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.