Axiom (bilgisayarlı cebir sistemi) sayfasının kaynağını görüntüle

{{Yazılım bilgi kutusu
| name = Axiom
| developer = Bağımsız insan grubu
| latest release version = Son [[Docker]] sürümü
| latest release date = {{Açılış tarihi ve yaşı|2015|11|13}}<ref>{{Web kaynağı |başlık=daly/axiom Tags |url=https://hub.docker.com/r/daly/axiom/tags |website=Docker Hub |erişimtarihi=25 Mart 2022 |arşivurl=https://web.archive.org/web/20220703213417/https://hub.docker.com/r/daly/axiom/tags |arşivtarihi=3 Temmuz 2022 |ölüurl=hayır }}</ref>
| latest preview version = Sourceforge master
| latest preview date = {{Açılış tarihi ve yaşı|2022|02|06}}
| repo = {{url|https://sourceforge.net/p/axiom/code/}}
| operating system = [[Çapraz platform]]
| genre = [[Bilgisayarlı cebir sistemi]]
| license = [[BSD lisansı|Değiştirilmiş BSD Lisansı]]
| website = {{URL|http://www.axiom-developer.org}}
| programming language = [[Lisp]]
| screenshot = AxiomGraphics.png
| açıklama = Axiom bir yüzeyi gösterirken
}}
'''Axiom''', [[özgür yazılım|özgür]], genel amaçlı bir [[bilgisayarlı cebir sistemi]]dir. Bir yorumlayıcı ortamı, bir derleyici ve [[Güçlü ve zayıf tipleme|güçlü tipleme]] hiyerarşisi tanımlayan bir kütüphaneden oluşur.

==Tarihçe==
'''Scratchpad''' adlı iki bilgisayar cebir sistemi [[IBM]] tarafından geliştirilmiştir. İlki 1965 yılında James Griesmer<ref>{{Akademik dergi kaynağı|başlık=James Griesmer 1929--2011|ad=John|soyadı=Fitch|tarih=23 Temmuz 2012|dergi=ACM Communications in Computer Algebra|cilt=46|sayı=1/2|sayfalar=10-11|doi=10.1145/2338496.2338499|s2cid=36788754 |doi-access=ücretsiz}}</ref> tarafından [[Ralph E. Gomory|Ralph Gomory]]'nin isteği üzerine başlatılmış ve [[Fortran]] dilinde yazılmıştır.<ref>{{Web kaynağı|url=http://axiom-developer.org/|başlık=Axiom Computer Algebra System|website=axiom-developer.org|erişimtarihi=10 Ekim 2023|arşivurl=https://web.archive.org/web/20040818090101/http://axiom-developer.org/|arşivtarihi=18 Ağustos 2004|ölüurl=hayır}}</ref> Bu yazılımın geliştirilmesi herhangi bir halka açık sürümden önce durdurulmuştur. Orijinal adı '''Scratchpad II''' olan ikinci Scratchpad, 1977'den itibaren Richard Dimick Jenks yönetiminde [[Thomas J. Watson Research Center|Thomas J. Watson Araştırma Merkezi]]'nde geliştirildi.<ref>{{Web kaynağı|url=https://www.eecis.udel.edu/~caviness/jenks/jenksbio/|başlık=Richard D. Jenks Biographical Information|website=www.eecis.udel.edu|erişimtarihi=10 Ekim 2023|arşivurl=https://web.archive.org/web/20220625131239/https://www.eecis.udel.edu/~caviness/jenks/jenksbio/|arşivtarihi=25 Haziran 2022|ölüurl=hayır}}</ref>

Tasarım esas olarak Richard D. Jenks ([[IBM Research]]), [[James H. Davenport]] ([[Bath Üniversitesi]]), Barry M. Trager (IBM Research), David Y.Y. Yun ([[Southern Methodist University]]) ve [[Victor S. Miller]]'a (IBM Research) aittir. Projenin ilk danışmanları David Barton ([[Kaliforniya Üniversitesi (Berkeley)|University of California, Berkeley]]) ve [[James W. Thatcher]] (IBM Research) idi. Uygulamada Robert Sutor (IBM Research), Scott C. Morrison (University of California, Berkeley), Christine J. Sundaresan (IBM Research), Timothy Daly (IBM Research), [[Patrizia Gianni]] ([[Pisa Üniversitesi]]), Albrecht Fortenbacher ([[Karlsruhe Teknoloji Enstitüsü|Universitaet Karlsruhe]]), [[Stephen M. Watt]] (IBM Research ve [[Waterloo Üniversitesi]]), Josh Cohen ([[Yale Üniversitesi]]), Michael Rothstein ([[Kent Devlet Üniversitesi|Kent State University]]), Manuel Bronstein (IBM Research), Michael Monagan ([[Simon Fraser Üniversitesi]]), Jonathan Steinbach (IBM Research), William Burge (IBM Research), Jim Wen (IBM Research), William Sit ([[New York Şehir Koleji|City College of New York]]) ve Clifton Williamson (IBM Research)<ref>{{Akademik dergi kaynağı|url=https://www.springer.com/gp/book/9783540159841|başlık=EUROCAL '85 &#124; SpringerLink|website=www.springer.com}}</ref>

Scratchpad II, IBM 1990 civarında ticari bir ürün haline getirmeye karar verdiğinde '''Axiom''' olarak yeniden adlandırıldı. Birkaç yıl sonra [[Numerical Algorithms Group|NAG]]'a satıldı. 2001 yılında piyasadan çekildi ve [[BSD Lisansı|Değiştirilmiş BSD Lisansı]] altında yeniden yayımlandı. O zamandan beri projenin baş geliştiricisi Tim Daly'dir.

2007 yılında, "proje hedefleri konusunda ciddi anlaşmazlık" sonrasında Axiom iki kez [[Çatal (yazılım geliştirme)|çatallandı]]<ref>{{Web kaynağı|url=https://fricas.github.io/history.html|başlık=History — FriCAS|website=fricas.github.io|erişimtarihi=10 Ekim 2023|arşivurl=https://web.archive.org/web/20230524180031/https://fricas.github.io/history.html|arşivtarihi=24 Mayıs 2023|ölüurl=hayır}}</ref> ve iki farklı [[açık kaynaklı yazılım|açık kaynaklı]] proje ortaya çıktı: '''OpenAxiom'''<ref>{{Web kaynağı|url=http://www.open-axiom.org/|başlık=OpenAxiom: The Open Scientific Computation Platform|website=www.open-axiom.org|erişimtarihi=10 Ekim 2023|arşivurl=https://web.archive.org/web/20230412041942/http://www.open-axiom.org/|arşivtarihi=12 Nisan 2023|ölüurl=hayır}}</ref> ve '''[[FriCAS]]'''.<ref>{{Web kaynağı|url=https://fricas.github.io/|başlık=FriCAS 18a5ef5d99c796a89efeac06df40043a85b3d44d — FriCAS|website=fricas.github.io|erişimtarihi=10 Ekim 2023|arşivurl=https://web.archive.org/web/20230913120517/https://fricas.github.io/|arşivtarihi=13 Eylül 2023|ölüurl=hayır}}</ref> Axiom projesi Tim Daly tarafından geliştirilmeye devam etti.

== Belgelendirme ==
Axiom, bir [[literate programming|kolay anlaşılır program]]dır.<ref>[http://axiom-developer.org/axiom-website/documentation.html Why Literate Programming?] {{Webarşiv|url=https://web.archive.org/web/20090130075850/http://axiom-developer.org/axiom-website/documentation.html |tarih=30 Ocak 2009 }} at [http://axiom-developer.org axiom-developer.org website] {{Webarşiv|url=https://web.archive.org/web/20040818090101/http://axiom-developer.org/ |tarih=18 Ağustos 2004 }}</ref> [[Kaynak kodu]], <code>axiom-developer.org</code> web sitesinde bulunan bir dizi cilt halinde kullanıma sunulmaktadır. Bu ciltler sistemin gerçek kaynak kodunu içermektedir.

Halihazırda mevcut olan belgeler şunlardır:
* İçindekiler: {{url|https://github.com/daly/PDFS/blob/master/toc.pdf|Combined Table of Contents}}
* Cilt 0: {{url|https://github.com/daly/PDFS/blob/master/bookvol0.pdf|Axiom Jenks and Sutor}} — Ana ders kitabı
* Cilt 1: {{url|https://github.com/daly/PDFS/blob/master/bookvol1.pdf|Axiom Tutorial}} — Basit bir giriş
* Cilt 2: {{url|https://github.com/daly/PDFS/blob/master/bookvol2.pdf|Axiom Users Guide}} — Etki alanı (domain) kullanımına ilişkin ayrıntılı örnekler (tamamlanmamış)
* Cilt 3: {{url|https://github.com/daly/PDFS/blob/master/bookvol3.pdf|Axiom Programmers Guide}} — Yönlendirmeli program yazma örnekleri (tamamlanmamış)
* Cilt 4: {{url|https://github.com/daly/PDFS/blob/master/bookvol4.pdf|Axiom Developers Guide}} — Geliştiricilere özgü konular üzerine kısa makaleler (tamamlanmamış)
* Cilt 5: {{url|https://github.com/daly/PDFS/blob/master/bookvol5.pdf|Axiom Interpreter}} — Axiom yorumlayıcısı için kaynak kodu (tamamlanmamış)
* Cilt 6: {{url|https://github.com/daly/PDFS/blob/master/bookvol6.pdf|Axiom Command}} — Sistem komutları ve betik dosyaları için kaynak kodu (tamamlanmamış)
* Cilt 7: {{url|https://github.com/daly/PDFS/blob/master/bookvol7.pdf|Axiom Hyperdoc}} — X11 Hyperdoc yardım tarayıcısının kaynak kodu ve açıklaması
** Cilt 7.1 {{url|https://github.com/daly/PDFS/blob/master/bookvol7.1.pdf|Axiom Hyperdoc Pages}} — Hyperdoc sayfaları için kaynak kodu
* Cilt 8: {{url|https://github.com/daly/PDFS/blob/master/bookvol8.pdf|Axiom Graphics}} — X11 Grafik alt sistemi için kaynak kodu
** Cilt 8.1 {{url|https://github.com/daly/PDFS/blob/master/bookvol8.1.pdf|Axiom Gallery}} — Axiom resimlerinden oluşan bir galeri
* Cilt 9: {{url|https://github.com/daly/PDFS/blob/master/bookvol9.pdf|Axiom Compiler}} — Spad derleyicisi için kaynak kodu (tamamlanmamış)
* Cilt 10: {{url|https://github.com/daly/PDFS/blob/master/bookvol10.pdf|Axiom Algebra Implementation}} — Uygulama sorunları üzerine makaleler (tamamlanmamış)
** Cilt 10.1: {{url|https://github.com/daly/PDFS/blob/master/bookvol10.1.pdf|Axiom Algebra Theory}} — Arka plan teorisi içeren makaleler
** Cilt 10.2: {{url|https://github.com/daly/PDFS/blob/master/bookvol10.2.pdf|Axiom Algebra Categories}} — Axiom kategorileri için kaynak kodu
** Cilt 10.3: {{url|https://github.com/daly/PDFS/blob/master/bookvol10.3.pdf|Axiom Algebra Domains}} — Axiom etki alanları (domain) için kaynak kodu
** Cilt 10.4: {{url|https://github.com/daly/PDFS/blob/master/bookvol10.4.pdf|Axiom Algebra Packages}} — Axiom paketleri için kaynak kodu
** Cilt 10.5: {{url|http://github.com/daly/PDFS/blob/master/bookvol10.5.pdf|Axiom Algebra Numerics}} — Axiom numerikleri için kaynak kodu
* Cilt 11: {{url|https://github.com/daly/PDFS/blob/master/bookvol11.pdf|Axiom Browser}} — Axiom Firefox tarayıcı ön yüzü için kaynak sayfalar
* Cilt 12: {{url|https://github.com/daly/PDFS/blob/master/bookvol12.pdf|Axiom Crystal}} — Axiom Crystal ön yüzü için kaynak kodu (tamamlanmamış)
* Cilt 13: {{url|https://github.com/daly/PDFS/blob/master/bookvol13.pdf|Proving Axiom Correct}} — Axiom Cebri kanıtı (tamamlanmamış)
* Cilt 15: {{url|https://github.com/daly/PDFS/blob/master/bookvol15.pdf|The Axiom SANE Compiler}}
* Bibliyografya: {{url|https://github.com/daly/PDFS/blob/master/bookvolbib.pdf|Axiom Bibliography}} —Literatür referansları
* Bug Listesi: {{url|https://github.com/daly/PDFS/blob/master/bookvolbug.pdf|Axiom Bug List}} — Yazılım hata Listesi
* Referans Kartı: {{url|https://github.com/daly/PDFS/blob/master/refcard.pdf|Axiom Reference Card}} — Yararlı fonksiyonlar özeti

==Videolar==
Axiom projesi dokümantasyon sağlamaya büyük önem vermektedir. Kısa bir süre önce proje, <code>axiom-developer.org</code> web sitesinde<ref>{{Web kaynağı|url=http://www.axiom-developer.org/|başlık=Axiom Computer Algebra System|website=www.axiom-developer.org|erişimtarihi=10 Ekim 2023|arşivurl=https://web.archive.org/web/20231008092046/http://www.axiom-developer.org/|arşivtarihi=8 Ekim 2023|ölüurl=hayır}}</ref> de bulunan bir dizi eğitici videonun ilkini duyurdu. İlk video Axiom bilgi kaynakları hakkında ayrıntılı bilgi vermektedir.<ref name="video">{{Web kaynağı |url = https://www.youtube.com/watch?v=CV8y3UrpadY |başlık= Axiom Computer Algebra System Information Sources |yayıncı= [[YouTube]] |tarih= 30 Kasım 2008 |erişimtarihi = 10 Ekim 2023 |arşivurl = https://web.archive.org/web/20160329185007/https://www.youtube.com/watch?v=CV8y3UrpadY |arşivtarihi = 29 Mart 2016 |ölüurl = hayır }}</ref>

== Felsefe ==
Axiom projesi, "30 Yıllık Ufuk (30 Year Horizon)" üzerine odaklanmaktadır. Temel [[felsefe]], Axiom'un yeni nesil hesaplamalı matematikçiler için yararlı olabilmesi için birkaç temel özellik geliştirmesi gerektiğidir. Knuth'un [[literate programming|kolay anlaşılır programlama]] tekniği kaynak kodu boyunca kullanılmaktadır. Axiom, algoritmaların doğruluğunu kanıtlamak için kanıt teknolojisini kullanmayı planlamaktadır ([[Coq]] ve [[ACL2]] gibi).

Axiom, sürekli sürüm sürecinin bir parçası olarak [[Docker]] konteynerler kullanır. En son görüntü, docker ve komutlar kullanılarak herhangi bir platformda kullanılabilir:

<syntaxhighlight lang="text">
docker pull daly/axiom

docker run -i -t daly/axiom axiom
</syntaxhighlight>

==Tasarım==
Axiom'da her nesne bir türe sahiptir. Türlere örnek olarak matematiksel yapılar (örneğin [[halka (matematik)|halka]]lar, [[cisim (matematik)|cisim]]ler, [[polinom]]lar) ve bilgisayar bilimlerindeki veri yapıları (örneğin [[Liste (veri tipi)|liste]]ler, [[ağaç (veri yapısı)|ağaç]]lar, [[Komut çizelgesi|özet tabloları]]) verilebilir.

Bir fonksiyon, argüman olarak bir tür alabilir ve geri dönüş değeri de bir tür olabilir. Örneğin, <code>Fraction</code> argüman olarak bir <code>IntegralDomain</code> alan ve argümanının kesirler alanını döndüren bir fonksiyondur. Başka bir örnek olarak, rasyonel girdileri olan <math>4\times 4</math> matrislerinin halkası <code>SquareMatrix(4, Fraction Integer)</code> olarak oluşturulabilir. Elbette, bu alanda çalışırken, <code>1</code> kimlik matrisi olarak yorumlanır ve <code>A^-1</code>, eğer varsa, <code>A</code> matrisinin tersini verir.

Birkaç işlem aynı isme sahip olabilir ve hem argümanların hem de sonucun türleri hangi işlemin uygulanacağını belirlemek için kullanılır (bkz. [[fonksiyon aşırı yükleme]]).

Axiom, SPAD adı verilen bir uzantı dili ile birlikte gelir. Axiom'un tüm matematiksel bilgisi bu dilde yazılır. Yorumlayıcı kabaca aynı dili kabul eder.

== Özellikler ==
Yorumlayıcı ortamında Axiom, [[tip belirleme|tip kalıtımı]] ve sezgisel bir [[algoritma]] kullanarak açık tip ek açıklamalarını çoğunlukla gereksiz hale getirir.

Etkileşimli tarayıcı benzeri bir yardım sistemi olan 'HyperDoc' özelliğine sahiptir ve iki ve üç boyutlu grafikleri görüntüleyebilir, ayrıca döndürme ve aydınlatma gibi etkileşimli özellikler sağlar. Ayrıca [[Emacs]] için özel bir etkileşim modunun yanı sıra [[GNU TeXmacs|TeXmacs]] editörü için bir eklentiye sahiptir.

<gallery>
Dosya:AxiomHyperDoc.png|{{Ortala|Bir etki alanı (domain) için kullanılabilir işlemleri görüntüleyen HyperDoc}}
Dosya:Axiomfirefox.jpg|{{Ortala|Axiom Firefox Taryıcı Arayüzü}}
Dosya:Heatequation.jpg|{{Ortala|Bir ısı denklemini sadeleştiren Axiom}}
Dosya:Matrixinmatrix.jpg|{{Ortala|Axiom matris manipülasyonu}}
Dosya:RischIntegration.jpg|{{Ortala|Bir Risch integralini hesaplayan Axiom}}
</gallery>

Axiom, Manuel Bronstein ve Barry Trager tarafından yapılan temel integral fonksiyonu için [[Risch algoritması]]nın bir uygulamasına sahiptir. Bu uygulama çoğu temel ters-türevi ve var olup olmadıklarını bulabilirken, bazı uygulanmamış dallara sahiptir ve integral alma sırasında bu tür durumlarla karşılaşıldığında bir hata verir.<ref>{{Web kaynağı |soyadı=Bronstein |ad=Manuel |tarih=5 Eylül 2003 |başlık=Manuel Bronstein on Axiom's Integration Capabilities |url=https://groups.google.com/g/sci.math.symbolic/c/YXlaU8WA2JI/m/1w1MxrSpm6IJ |erişimtarihi=10 Şubat 2023|website=groups.google.com |arşivurl=https://web.archive.org/web/20230210121207/https://groups.google.com/g/sci.math.symbolic/c/YXlaU8WA2JI/m/1w1MxrSpm6IJ |arşivtarihi=10 Şubat 2023 |ölüurl=hayır }}</ref><ref>{{Web kaynağı |tarih=15 Ekim 2020 |başlık=integration - Does there exist a complete implementation of the Risch algorithm? |url=https://mathoverflow.net/questions/374089/does-there-exist-a-complete-implementation-of-the-risch-algorithm |erişimtarihi=10 Şubat 2023|website=MathOverflow |dil=İngilizce|arşivurl=https://web.archive.org/web/20230821064356/https://mathoverflow.net/questions/374089/does-there-exist-a-complete-implementation-of-the-risch-algorithm |arşivtarihi=21 Ağustos 2023 |ölüurl=hayır }}</ref>

== Ayrıca bakınız ==
* [[A Sharp (Axiom)|A# programlama dili]]
* [[Aldor|Aldor programlama dili]]
* [[Bilgisayarlı cebir sistemleri listesi]]

==Kaynakça==
{{Kaynakça}}

==Konuyla ilgili okumalar==
* {{Akademik dergi kaynağı |yazar1 = James H. Griesmer |yazar2 = Richard D. Jenks |başlık= SCRATCHPAD/1: An interactive facility for symbolic mathematics {{!}} Proceedings of the second ACM symposium on Symbolic and algebraic manipulation (SYMSAC '71) |sayfalar=42-58|yıl= 1971 }}
* {{cite tech report |author = Richard D. Jenks |title = META/PLUS - The Syntax Extension Facility for SCRATCHPAD |type = Research report |number = RC 3259 |institution = IBM [[Thomas J. Watson Research Center]] |year = 1971 }}
* {{Akademik dergi kaynağı |yazar1 = James H. Griesmer |yazar2 = Richard D. Jenks |başlık= Experience with an online symbolic mathematics system {{!}} Proceedings of the ONLINE72 Conference |yıl= 1972 |institution = [[Brunel University]] |cilt= 1 |sayfalar=457-476}}
* {{Akademik dergi kaynağı |yazar1 = James H. Griesmer |başlık= Scratchpad |dergi= ACM SIGPLAN Notices |cilt= 7 |sayı= 10 |sayfalar=93-102|yazar2 = Richard D. Jenks |doi=10.1145/942576.807019|yıl= 1972 }}
* {{Akademik dergi kaynağı |author = Richard D. Jenks |başlık=The SCRATCHPAD language|dergi=ACM SIGSAM Bulletin|cilt=8|sayı=2|sayfalar=20-30|doi=10.1145/1086830.1086834|yıl=1974|s2cid=14537956 }}
* {{Akademik dergi kaynağı |author = Arthur C. Norman |başlık= Computing with Formal Power Series |dergi= [[ACM Transactions on Mathematical Software]] |cilt= 1 |sayı= 4 |sayfalar=346-356|yıl= 1975 |issn= 0098-3500 |doi=10.1145/355656.355660|s2cid = 18321863 }}
* {{Akademik dergi kaynağı |author = Richard D. Jenks |başlık= A pattern compiler {{!}} Proceedings of the third ACM symposium on Symbolic and algebraic manipulation (SYMSAC '76) |sayfalar=60-65|yıl= 1976 }}
* {{cite thesis |author = E. Lueken |title = Ueberlegungen zur Implementierung eines Formelmanipulationssystems |type = Masters thesis |publisher = [[Braunschweig University of Technology|Technischen Universitat Carolo-Wilhelmina zu Braunschweig]] |location = Germany |year = 1977 |language=de}}
* {{Akademik dergi kaynağı |author = George E. Andrews |başlık= Ramanujan and SCRATCHPAD {{!}} Proceedings of the 1984 [[Macsyma|MACSYMA]] Users' Conference |yayıncı= [[General Electric]] |yer= Schenectady |sayfalar=383-408|yıl= 1984 }}
* {{Akademik dergi kaynağı |yazar1 = James H. Davenport |yazar2 = P. Gianni |yazar3 = Richard D. Jenks |yazar4 = V. Miller |yazar5 = Scott Morrison |yazar6 = M. Rothstein |yazar7 = C. Sundaresan |yazar8 = Robert S. Sutor |yazar9 = Barry Trager |başlık= Scratchpad |institution = Mathematical Sciences Department, IBM [[Thomas J. Watson Research Center]] |yıl= 1984  }}
* {{Akademik dergi kaynağı |author = Richard D. Jenks |başlık= The New SCRATCHPAD Language and System for Computer Algebra |dergi= Proceedings of the 1984 MACSYMA Users' Conference |yıl= 1984 |sayfalar=409-416}}
* {{Akademik dergi kaynağı |author = Richard D. Jenks |başlık= A primer: 11 keys to New Scratchpad {{!}} Proceedings of International Symposium on Symbolic and Algebraic Computation '84 |sayfalar=123-147|yıl= 1984 |yayıncı= Springer }}
* {{Akademik dergi kaynağı |author = Robert S. Sutor |başlık= The Scratchpad II Computer Algebra Language and System {{!}} Proceedings of International Symposium on Symbolic and Algebraic Computation '85|sayfalar=32-33|yıl= 1985  |yayıncı= Springer }}
* {{Kitap kaynağı |yazar1 = Rüdiger Gebauer |yazar2 = H. Michael Möller |başlık= Buchberger's algorithm and staggered linear bases {{!}} Proceedings of the fifth ACM symposium on Symbolic and algebraic computation (International Symposium on Symbolic and Algebraic Computation '86) |yayıncı= ACM |sayfalar=218-221|yıl= 1986 |isbn = 978-0-89791-199-3 }}
* {{cite tech report |author1 = Richard D. Jenks |author2 = Robert S. Sutor |author3 = Stephen M. Watt |title = Scratchpad II: an abstract datatype system for mathematical computation |type = Research report |number = RC 12327 |institution = IBM [[Thomas J. Watson Research Center]] |year = 1986 }}
* {{Kitap kaynağı |yazar1 = Michael Lucks |yazar2 = Bruce W. Char |başlık= A fast implementation of polynomial factorization {{!}} Proceedings of SYMSAC '86 |yayıncı= ACM |isbn = 978-0-89791-199-3 |sayfalar=228-232|yıl= 1986 }}
* {{Kitap kaynağı |author = J. Purtilo |başlık= Applications of a software interconnection system in mathematical problem solving environments {{!}} Proceedings of SYMSAC '86 |yayıncı= ACM |isbn = 978-0-89791-199-3 |sayfalar=16-23|yıl= 1986 }}
* {{cite tech report |author1 = William H. Burge |author2 = Stephen M. Watt |title = Infinite Structure in SCRATCHPAD II |type = Research report |number = RC 12794 |institution = IBM [[Thomas J. Watson Research Center]] |year = 1987 }}
* {{cite tech report |author1 = Pascale Sénéchaud |author2 = Françoise Siebert |author3 = Gilles Villard |title = Scratchpad II: Présentation d'un nouveau langage de calcul formel |journal = TIM |number = 640-M |type = Research report |institution = [[:fr:Institut d'informatique et mathématiques appliquées de Grenoble|IMAG]], [[Grenoble Institute of Technology]] |year = 1987 |language=fr}}
* {{Kitap kaynağı |yazar1 = Robert S. Sutor |başlık= Papers of the Symposium on Interpreters and interpretive techniques - SIGPLAN '87 |sayfalar=56-63|yazar2 = Richard D. Jenks |isbn = 978-0-89791-235-8 |doi= 10.1145/29650.29656 |bölüm= The type inference and coercion facilities in the scratchpad II interpreter |yıl= 1987 |s2cid = 17700911 }}
* {{Kitap kaynağı |author = George E. Andrews |başlık= Application of SCRATCHPAD to problems in special functions and combinatorics {{!}} Trends in Computer Algebra |seri= [[Lecture Notes in Computer Science]] |editör= R. Janssen |yayıncı= Springer |sayı= 296 |sayfalar=159-166|yıl= 1988 }}
* {{Kitap kaynağı |yazar1 = James H. Davenport |yazar2 = Yvon Siret |yazar3 = Evelyne Tournier |başlık= Computer Algebra: Systems and Algorithms for Algebraic Computation |url = https://archive.org/details/computeralgebras0000dave |isbn = 978-0122042300 |yıl= 1993 |özgünyıl= 1988 |yayıncı= [[Academic Press]] }}
* {{Akademik dergi kaynağı |yazar1 = Rüdiger Gebauer |yazar2 = H. Michael Möller |başlık= On an installation of Buchberger's algorithm |dergi= [[Journal of Symbolic Computation]] |cilt= 6 |sayı= 2–3 |sayfalar=275-286|yıl= 1988 |issn= 0747-7171 |doi=10.1016/s0747-7171(88)80048-8|doi-access = ücretsiz}}
* {{Kitap kaynağı |author = Fritz Schwarz |başlık= Programming with abstract data types: the symmetry package (SPDE) in Scratchpad {{!}} Trends in Computer Algebra |seri= Lecture Notes in Computer Science |editör= R. Janssen |sayfalar=167-176|yıl= 1988 |yayıncı= Springer }}
* {{Akademik dergi kaynağı |author = David Shannon |yazar2 = Moss Sweedler |başlık= Using Gröbner bases to determine algebra membership, split surjective algebra homomorphisms determine birational equivalence |dergi= [[Journal of Symbolic Computation]] |cilt= 6 |sayı= 2–3 |sayfalar=267-273|yıl= 1988 |doi=10.1016/s0747-7171(88)80047-6|doi-access = ücretsiz}}
* {{Akademik dergi kaynağı |author = Hans-J. Boehm |başlık=Type inference in the presence of type abstraction|dergi=ACM SIGPLAN Notices|cilt=24|sayı=7|sayfalar=192-206|doi=10.1145/74818.74835|yıl=1989}}
* {{Akademik dergi kaynağı |author = Manuel Bronstein |başlık= Simplification of real elementary functions {{!}} Proceedings of the International Symposium on Symbolic and Algebraic Computation (SIGSAM '89) |yayıncı= ACM |sayfalar=207-211|yıl= 1989 }}
* {{Akademik dergi kaynağı |yazar1 = Claire Dicrescenzo |yazar2 = Dominique Duval |başlık= Algebraic extensions and algebraic closure in Scratchpad II {{!}} Symbolic and Algebraic Computation |editör= P. Gianni |sayfalar=440-446|yayıncı= Springer |yıl= 1989 }}
* Timothy Daly [http://daly.axiom-developer.org/TimothyDaly_files/cmutalk/index.html "Axiom -- Thirty Years of Lisp"]
* Timothy Daly "Axiom" Invited Talk, Free Software Conference, Lyon, France, May, 2002
* Timothy Daly "Axiom" Invited Talk, [https://web.archive.org/web/20040308073825/http://lsm2003.abul.org/ Libre Software Meeting], Metz, France, July 9–12, 2003

== Dış bağlantılar ==
{{Commonscatinline}}
* [http://axiom-developer.org Axiom Homepage]
* [http://axiom-wiki.newsynthesis.org/SandBoxAxiom Online sandbox to try Axiom]
* Source code repositories: [https://github.com/daly/axiom/ Github], [http://sourceforge.net/p/axiom/code/ SourceForge], [http://git.savannah.gnu.org/cgit/axiom.git GNU Savannah]
* [http://axiom-developer.org/axiom-website/bookvol0.pdf Jenks, R.D. and Sutor, R. "Axiom, The Scientific Computation System"]
* [http://axiom-developer.org/axiom-website/bookvol1.pdf Daly, T. "Axiom Volume 1: Tutorial"]

Yazılım çatallanmaları:
* [http://www.open-axiom.org OpenAxiom] ({{SourceForge|open-axiom|OpenAxiom}})
* [http://fricas.sourceforge.net FriCAS] ({{SourceForge|fricas|FriCAS}})

{{Bilgisayarlı cebir sistemi}}
{{Otorite kontrolü}}

[[Kategori:Bilgisayarlı cebir sistemleri]]
[[Kategori:Lisp yazılımları]]
[[Kategori:Özgür yazılım]]
[[Kategori:Linux yazılımları]]