Axiom (Software)
Axiom
Betriebssystem Linux, Unix
Kategorie Computeralgebrasystem
Lizenz modifizierte BSD-Lizenz
www.axiom-developer.org

Axiom ist ein freies Computeralgebrasystem. Es besteht aus einer interaktiven Umgebung (dem Interpreter), einem Compiler und einer Programmbibliothek. Letztere implementiert eine mathematisch korrekte Hierarchie von Typen.

Inhaltsverzeichnis

Geschichte

Axiom wurde seit 1973 von Forschern der IBM unter der Leitung von Richard Dimick Jenks entwickelt, ursprünglich unter dem Namen Scratchpad in der Programmiersprache Lisp. In den 1990ern wurde es an die Gruppe NAG verkauft und erhielt seinen jetzigen Namen. Im Jahr 2001 wurde es vom Markt genommen, seit 2002 wird es unter einer modifizierten BSD-Lizenz verbreitet. Seitdem haben sich zwei Projekte davon abgespalten: FriCAS und OpenAxiom.

Design

In Axiom haben alle Objekte einen Typ. Beispiele für solche Typen sind mathematische Strukturen (wie Ringe, Körper, Polynom) als auch Datenstrukturen aus der Informatik (z. B. Liste, Baum, Heap, Hashtabelle in verschiedenen Formen).

Eine Funktion kann einen Typ als Argument haben, und ihr Ergebnis kann ebenso ein Typ sein. Zum Beispiel ist Fraction eine Funktion, die einen IntegralDomain als Argument akzeptiert und den Quotientenkörper ihres Arguments zum Ergebnis hat. Als weiteres Beispiel kann man den Ring der 4\times 4 Matrizen mit rationalen Einträgen als SquareMatrix(4, Fraction Integer) konstruieren. Wenn man in diesem Domain arbeitet, wird 1 als Einheitsmatrix interpretiert und A^-1 liefert die Inverse der Matrix A, soweit sie existiert.

Verschiedene Funktionen können den gleichen Namen haben. Die Typen der Argumente und der Typ des Resultats werden verwendet um festzustellen, welche Operation tatsächlich gemeint ist, ähnlich wie in der Objektorientierten Programmierung.

Die Erweiterungssprache von Axiom heißt SPAD. Das gesamte mathematische Wissen von Axiom ist in dieser Sprache geschrieben. Der Interpreter akzeptiert ungefähr die gleiche Sprache.

SPAD wurde unter dem Namen A# und später Aldor weiterentwickelt. Aldor kann nach wie vor als alternative Erweiterungsprache verwendet werden. Es wird allerdings unter einer anderen Lizenz vertrieben.

Fähigkeiten

Innerhalb des Interpreters benutzt Axiom Typinferenz und einen heuristischen Algorithmus, um explizite Typangaben weitgehend unnötig zu machen.

Axiom beinhaltet 'HyperDoc', eine interaktive, browserähnliche Hilfe, und kann zwei- und dreidimensionale Graphiken darstellen. Die Grafikanzeige ermöglicht es unter anderem auch, die Grafik zu rotieren oder eine Lichtquelle zu setzen.

Axiom ist derzeit das einzige CAS mit einer (nahezu) vollständigen Implementierung des Risch-Algorithmus zur elementaren Integration. Die Implementierung stammt von Manuel Bronstein und Barry Trager.

Grafische Benutzerschnittstelle

Es gibt einen Modus für Emacs sowie ein Plugin für den Editor TeXmacs. Eine weitere Möglichkeit besteht darin SAGE als Interface für Axiom zu verwenden.

Weblinks


Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Axiom stack — is a rapid development web application framework. With a core written in Java, Axiom Stack applications are written completely in ECMAscript (JavaScript). Philosophy The Axiom Stack application development process is designed to require only a… …   Wikipedia

  • Axiom (Begriffsklärung) — Axiom (altgr. ἀξιώματα axiómata als wahr angenommener Grundsatz) bezeichnet: den Grundsatz einer Theorie, siehe Axiom ein Computer Algebra System, siehe Axiom (Software) eine 3D Grafikengine, siehe Axiom (Engine) einen französischen Rapper, siehe …   Deutsch Wikipedia

  • Axiom — Saltar a navegación, búsqueda 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… …   Wikipedia Español

  • Software matemático — es aquel software que se utiliza para realizar, apoyar o ilustrar problemas matemáticos; entre este tipo de software se encuentran los sistemas algebraicos computacionales y graficadores de funciones, entre otros. Existen grupos y proyectos… …   Wikipedia Español

  • Axiom (computer algebra system) — Scratchpad redirects here. For scratchpad memory, see Scratchpad RAM. Axiom Developer(s) independent group of people Stable release September 2011 Operating system cross platform …   Wikipedia

  • Debates within software engineering — Many debates are raging within the software engineering community. As software becomes more pervasive, most recognize the need for better software, but few agree on how to obtain it. Right to use the word engineering The word engineering within… …   Wikipedia

  • Maple (software) — Maple Maple interface Developer(s) Waterloo Maple (Maplesoft) Stable release 15.01 / June 21, 2011; 4 months ago (2011 06 21) …   Wikipedia

  • Maxima (software) — For other uses, see Maxima (disambiguation). Maxima wxMaxima screenshot …   Wikipedia

  • Computer-Algebra-System — Ein Computeralgebrasystem (CAS) ist ein Computerprogramm das Methoden der Computeralgebra nutzt. Konkreter kann es Rechenaufgaben aus verschiedenen Bereichen der Mathematik lösen und dabei nicht nur (wie ein Taschenrechner) mit Zahlen, sondern… …   Deutsch Wikipedia

  • Computeralgebra-System — Ein Computeralgebrasystem (CAS) ist ein Computerprogramm das Methoden der Computeralgebra nutzt. Konkreter kann es Rechenaufgaben aus verschiedenen Bereichen der Mathematik lösen und dabei nicht nur (wie ein Taschenrechner) mit Zahlen, sondern… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”