.
Το Axiom είναι ένα δωρεάν, γενικής χρήσης σύστημα υπολογιστή άλγεβρας. Αποτελείται από ένα περιβάλλον διερμηνέα, έναν μεταγλωττιστή και μια βιβλιοθήκη, η οποία ορίζει ένα αυστηρό σύστημα τύπων .
Ιστορία
Δύο υπολογιστικά συστήματα άλγεβρας με το όνομα Scratchpad αναπτύχθηκαν από την IBM. Το πρώτο ξεκίνησε το 1965 από τον James Griesmer[2] κατόπιν αιτήματος του Ralph Gomory και γράφτηκε στο Fortran.[3] Η ανάπτυξη αυτού του λογισμικού σταμάτησε πριν από οποιαδήποτε δημόσια κυκλοφορία. Το δεύτερο Scratchpad, που αρχικά ονομαζόταν Scratchpad II, αναπτύχθηκε από το 1977 και μετά, στο Ερευνητικό Κέντρο Thomas J. Watson, υπό τη διεύθυνση του Richard Dimick Jenks.[4]
Ο σχεδιασμός οφείλεται κυρίως στους Richard D. Jenks (IBM Research), James H. Davenport (University of Bath), Barry M. Trager (IBM Research), David Y.Y. Yun (Southern Methodist University) και Victor S. Miller (IBM Research). Οι πρώτοι σύμβουλοι του έργου ήταν ο David Barton (Πανεπιστήμιο της Καλιφόρνια, Μπέρκλεϋ) και ο James W. Thatcher (IBM Research). Η εφαρμογή περιελάμβανε τους Robert Sutor (IBM Research), Scott C. Morrison (University of California, Berkeley), Christine J. Sundaresan (IBM Research), Timothy Daly (IBM Research), Patrizia Gianni (University of Pisa), Albrecht Fortenbacher (Universitaet Karlsruhe). ), Stephen M. Watt (IBM Research and University of Waterloo), Josh Cohen (Yale University), Michael Rothstein (Kent State University), Manuel Bronstein (IBM Research), Michael Monagan (Simon Fraser University), Jonathon Steinbach (IBM Research) ), William Burge (IBM Research), Jim Wen (IBM Research), William Sit (City College of New York) και Clifton Williamson (IBM Research)[5]
Το Scratchpad II μετονομάστηκε σε Axiom όταν η IBM αποφάσισε, περίπου το 1990, να το κάνει εμπορικό προϊόν. Λίγα χρόνια αργότερα, πουλήθηκε στη NAG. Το 2001, αποσύρθηκε από την αγορά και επανακυκλοφόρησε με την άδεια τροποποιημένης BSD. Από τότε, ο κύριος προγραμματιστής του έργου ήταν ο Tim Daly.
Το 2007, το Axiom διαχωρίστηκε δύο φορές, ξεκινώντας δύο διαφορετικά έργα ανοιχτού κώδικα: το OpenAxiom[6] και το FriCAS[7], μετά από «σοβαρή διαφωνία σχετικά με τους στόχους του έργου».[8] Το έργο Axiom συνέχισε να αναπτύσσεται από τον Tim Daly.
Η τρέχουσα ερευνητική κατεύθυνση είναι "Proving Axiom Sane", δηλαδή λογική, ορθολογική, συνετή και ορθή.
Hellenica World - Scientific Library
Από τη ελληνική Βικιπαίδεια http://el.wikipedia.org . Όλα τα κείμενα είναι διαθέσιμα υπό την GNU Free Documentation License
