Axiom

Axiom és un programa d'àlgebra computacional (CAS) molt útil per a l'investigació i el desenroll dels algoritmes matemàtics, per als quals definix una sintaxis rigorosa, en nivells de jerarquia matemàtiques estructurats. És dir, els objectes matemàtics (tals com a anells, camps, polinomis) aixina com les estructures de senyes de l'informàtica (com a llestes, arbres, taules hash) són escrits automàticament. Quan una operació és aplicada a un objecte, el tipo d'objecte determina el comportament de l'operació (similar a la programació orientada a objectes).
Axiom està associat, encara que separable, en el llenguage de programació cridat A#.
Originalment desenrollat per investigadors en IBM baix el nom de Scratchpad, ha estat en desenroll des de 1971. En la década dels Anys 1990 va ser convertit en producte comercial, i venut a NAG, que en 2002 va tornar a lliberar-ho com còdic obert i software lliure, publicat baix una llicència modificada BSD.
Vore també
[editar | editar còdic]
- Este artícul conté una traducció derivada de «Axiom» de Wikipedia en castellà publicada baix la Llicència de documentació lliure de GNU i la Llicència Creative Commons Reconeiximent-CompartirIgual 4.0 Internacional.