Wichtiger Hinweis zum Inhalt des Online-LexikonsBei den auf dieser Seite aufgeführten Texten/Artikeln/Inhalten handelt es sich ausschließlich um fremde Inhalte, die sich die Aschendorff Verlag GmbH & Co. KG ausdrücklich nicht zu Eigen macht. Diese fremden Inhalte, die keiner regelmäßigen Überprüfung unterliegen, sind ausnahmslos solche der freien Enzyklopädie Wikipedia, für die keinerlei Verantwortung übernommen wird.
Lizenzbestimmungen
Der Text/Artikel/Inhalt auf dieser Seite innerhalb der Rubrik "Online Lexikon" basiert, soweit nicht anders angegeben, auf dem Artikel
Axiom (Software)
aus der freien Enzyklopädie
Wikipedia.
Die Inhalte stehen unter der
GNU Lizenz für freie Dokumentation.
Eine Liste der Autoren ist
dort
abrufbar.
Axiom (Software)
Das
Computer-Algebra-System Axiom wurde seit den
1970er Jahren unter dem Namen
Scratchpad von
IBM entwickelt. Seit
2002 wird es unter einer
BSD-Lizenz weiterentwickelt.
Axiom zeichnet sich vor allem durch ein mathematisch korrektes System von
Datentypen aus: Mathematische Objekte (z. B.
Ganzzahl,
Ring,
Polynom,
Endlicher Körper) als auch klassische Datenstrukturen aus der Informatik (z. B.
Liste,
Baum,
Heap,
Hashtabelle in verschiedenen Formen) werden konsistent und meist automatisch mit dem richtigen Datentyp versehen. Axiom kann somit auch generische Beweise erzeugen.
Weblinks
•
offizielle Website (englisch)
•
Screenshots
•
Axiom-Anleitung (PDF, englisch)
