Puede marcar fragmentos interesantes de texto que estarán disponibles a través de un enlace único en su navegador.


Axiom

Traducción
Axiom

Axiom

Axiom es un programa de álgebra computacional (CAS) muy útil para la investigación y el desarrollo de los algoritmos matemáticos, para los cuales define una sintaxis rigurosa, con niveles de jerarquías matemáticas estructurados. Es decir, los objetos matemáticos (tales como anillos, campos, polinomios) así como las estructuras de datos de la informática (como listas, árboles, tablas hash) son escritos automáticamente. Cuando una operación es aplicada a un objeto, el tipo de objeto determina el comportamiento de la operación (similar a la programación orientada a objetos).

Axiom está asociado, aunque separable, con el lenguaje de programación llamado A#.

Originalmente desarrollado por investigadores en IBM bajo el nombre de Scratchpad, Axiom ha estado en desarrollo desde 1973, aunque originalmente fue un producto comercial, ahora es de código abierto y software libre. Es publicado bajo una licencia modificada BSD.

Véase también

Lista de programas de álgebra computacional

Véase también

  • lenguaje de programación A#

Enlaces externos

Obtenido de "Axiom"

Wikimedia foundation. 2010.

  
Share  

Mira otros diccionarios:

  • Axiom — Fichier:Axiom sur les Champs Elysées.jpg Axiom sur les Champs Elysées à Paris Nom Hicham Kochman Naissance 19 janvier 1975 (1975 01 19) (36 ans) Lil …   Wikipédia en Français

  • Axiom — Тип система компьютерной алгебры Разработчик независимая группа людей Операционная система кроссплатформенное программное обеспечение Последняя версия Лицензия модифицированная лицензия BSD …   Википедия

  • Axiom — Ax i*om, n. [L. axioma, Gr. ? that which is thought worthy, that which is assumed, a basis of demonstration, a principle, fr. ? to think worthy, fr. ? worthy, weighing as much as; cf. ? to lead, drive, also to weigh so much: cf F. axiome. See… …   The Collaborative International Dictionary of English

  • axiom — noun аксиома Syn: see principle …   Англо-русский словарь Мюллера

  • axiom — 1> аксиома …   Новый большой англо-русский словарь

  • Axiom — Axiom, eine Hypothese, auf der eine Wissenschaft aufgebaut wird, also z.B. in der Mechanik ein Satz, der nicht bewiesen werden kann. Alle Beweise in den mathematischen Wissenschaften sind Reduktionsmittel der Erkenntnis, d.h. sie sind Methoden,… …   Lexikon der gesamten Technik

  • Axiom — Axiom, pronuntiatum (anerkannter Ursatz, griech. ἀξίωμα). – certa stabilisque sententia (bestimmter u. feststehender Grundsatz). – ein A. sein, manifestius esse quam ut asseverandum sit …   Kleines deutsch-lateinisches Handwörterbuch

  • Axiom — Axiom, in mathemat. und philosoph. Sinne ein Satz, welcher eine unbedingte Gewißheit in sich trägt und somit keines Beweises bedarf …   Herders Conversations-Lexikon

  • axiom — index dogma, maxim, postulate, precept, prescription (directive) Burton s Legal Thesaurus. William C. Burton. 2006 …   Law dictionary

  • Axiom — This article is about logical propositions. For other uses, see Axiom (disambiguation). In traditional logic, an axiom or postulate is a proposition that is not proven or demonstrated but considered either to be self evident or to define and… …   Wikipedia