Difference between revisions 21329563 and 21840370 on srwiki

< previous diff
next diff >
Axiom (рачунарски алгебарски систем)
{{Инфокутија софтвер
| име                        = Axiom
| програмер                  = Independent group of people
| програмски_језик                     = [[C++]]
| оперативни_систем          = [[Cross-platform]]
| жанр                       = [[Рачунарски алгебарски систем]]
| лиценца                    = [[BSD licence|Modified BSD License]]
| веб-сајт                    = {{URL|http://axiom-developer.org/}}
}}

'''Axiom''' је бесплатан, опште наменски [[рачунарски алгебарски систем]]. Састоји се од преводиоца окружења, компајлера и библиотеке, који се дефинише снажно откуцаним, математички (углавном) тачним типом хијерархије..

== Историја ==
Два рачунарска алгебарска система названа  '''Scratchpad''' су развијена од стране [[IBM]]. Први је почео 1965, године од стране James Greismer на захтев Ralph Gomory, и написан је у [[Фортран]]у.<ref>[{{Cite web |url=http://axiom-developer.org  / |title=Axiom Homepage] |access-date=29. 11. 2015 |archive-url=https://web.archive.org/web/20040818090101/http://axiom-developer.org/ |archive-date=18. 08. 2004 |dead-url=yes |df= }}</ref> Развој овог софтвера је заустављен пре него што је изашао у јавност. Други  Scratchpad, првобитно назван '''Scratchpad II''', је развијен од 1977.  од  Thomas J. Watson Research Center, под руководством Richard Dimick Jenks.<ref>[http://www.cis.udel.edu/~caviness/jenks/jenksbio/ Richard Dimick Jenks - Biographical Information]</ref> Други кључни рани програмери су Barry Trager, Stephen Watt, James Davenport, Robert Sutor, и Scott Morrison.

Scratchpad II је преименован у '''Axiom''' када је IBM одлучио, око 1990. године, да комерцијални производ направи. Неколико година касније, она је продата  NAG-у. 2001. године, је повучен са тржишта и поново објављен под модификованом BSD лиценцом. Од тада, развијач пројекта био је Tim Daly.

У 2007. години, Axiom се два пута [[Форк (развој софтвера)|рачвао]], порекло два различита пројекта отвореног кода: '''OpenAxiom'''<ref>[http://www.open-axiom.org open-axiom.org]</ref> и '''FriCAS''',<ref>[http://fricas.sourceforge.net fricas.sourceforge.net]</ref> прати "озбиљно неслагање око циљева пројекта".<ref>[http://fricas.sourceforge.net/history.html History of FriCAS]</ref> Axiom пројекат је наставио да развија Tim Daly.

== Документација ==
Axiom је [[писмени програм]].<ref>[http://axiom-developer.org/axiom-website/documentation.html Why Literate Programming?] {{Wayback|url=http://axiom-developer.org/axiom-website/documentation.html |date=20090130075850 }} at axiom-developer.org</ref> Изворни код постаје доступан у сету томова који су доступни на <code>axiom-developer.org</code> вебсајту. Ови томови садрже стварни изворни код система.

Тренутно доступни документи су:
* [https://web.archive.org/web/20151013180623/http://www.axiom-developer.org/axiom-website/toc.pdf Combined Table of Contents]
* Том 0: [https://web.archive.org/web/20080828045636/http://axiom-developer.org/axiom-website/bookvol0.pdf Axiom Jenks and Sutor]—Главни уџбеник
* Том 1: [https://web.archive.org/web/20080705234642/http://axiom-developer.org/axiom-website/bookvol1.pdf Axiom Tutorial]—Једноставан увод
* Том 2: [https://web.archive.org/web/20151013181157/http://www.axiom-developer.org/axiom-website/bookvol2.pdf Axiom Users Guide]—Детаљни примери коришћења домена (непотпуно)
* Том 3: [https://web.archive.org/web/20151013180904/http://www.axiom-developer.org/axiom-website/bookvol3.pdf Axiom Programmers Guide]—Руковођени  примери писања програма (непотпуна)
* Том 4: [https://web.archive.org/web/20151013180800/http://www.axiom-developer.org/axiom-website/bookvol4.pdf Axiom Developers Guide]—Кратки есеји о програмирању- специфичне теме (непотпуно)
* Том 5: [https://web.archive.org/web/20151013181014/http://www.axiom-developer.org/axiom-website/bookvol5.pdf Axiom Interpreter]—Изворни код за Axiom интерпретатора (непотпуно)
* Том 6: [https://web.archive.org/web/20151013175716/http://www.axiom-developer.org/axiom-website/bookvol6.pdf Axiom Command]—Изворни код за систем команде и скрипте (непотпуно)
* Том 7: [https://web.archive.org/web/20151013180531/http://www.axiom-developer.org/axiom-website/bookvol7.pdf Axiom Hyperdoc]—Изворни код за објашњење X11 Hyperdoc
** Том 7.1 [https://web.archive.org/web/20151013180235/http://www.axiom-developer.org/axiom-website/bookvol7.1.pdf Axiom Hyperdoc Pages]—Изворни код за Hyperdoc стране
* Том 8: [https://web.archive.org/web/20151013180145/http://www.axiom-developer.org/axiom-website/bookvol8.pdf Axiom Graphics]—Изворни код за X11 графички подсистем
** Том 8.1 [https://web.archive.org/web/20151013175541/http://www.axiom-developer.org/axiom-website/bookvol8.1.pdf Axiom Gallery]—Галерија слика Axiom
* Том 9: [https://web.archive.org/web/20151013175411/http://www.axiom-developer.org/axiom-website/bookvol9.pdf Axiom Compiler]—Изворни код за Spad компајлера (непотпуно)
* Том 10: [https://web.archive.org/web/20151013180958/http://www.axiom-developer.org/axiom-website/bookvol10.pdf Axiom Algebra Implementation]—Есеји о питањима имплементације (непотпуно)
** Том 10.1: [https://web.archive.org/web/20151013181151/http://www.axiom-developer.org/axiom-website/bookvol10.1.pdf Axiom Algebra Theory]—Есеји који садрже теорију позадине
** Том 10.2: [https://web.archive.org/web/20151013175345/http://www.axiom-developer.org/axiom-website/bookvol10.2.pdf Axiom Algebra Categories]—Изворни код за Axiom категорије
** Том 10.3: [https://web.archive.org/web/20151013180152/http://www.axiom-developer.org/axiom-website/bookvol10.3.pdf Axiom Algebra Domains]—Изворни код за Axiom демене
** Том 10.4: [https://web.archive.org/web/20151013180349/http://www.axiom-developer.org/axiom-website/bookvol10.4.pdf Axiom Algebra Packages]—Изворни код за Axiom пакете
** Том 10.5: [https://web.archive.org/web/20151013175927/http://www.axiom-developer.org/axiom-website/bookvol10.5.pdf Axiom Algebra Numerics]—Изворни код за Axiom бројеве
* Том 11: [https://web.archive.org/web/20151013180816/http://www.axiom-developer.org/axiom-website/bookvol11.pdf Axiom Browser]—Изворни код за Axiom Firefox browser front end
* Том 12: [https://web.archive.org/web/20151013180553/http://www.axiom-developer.org/axiom-website/bookvol12.pdf Axiom Crystal]—Изворни код за Axiom Crystal front end (непотпуно)
* Том 13: [https://web.archive.org/web/20151013175650/http://www.axiom-developer.org/axiom-website/bookvol13.pdf Proving Axiom Correct]—Докази Axiom алгебре (непотпуно)
* Библиографија: [https://web.archive.org/web/20151013180942/http://www.axiom-developer.org/axiom-website/bookvolbib.pdf Axiom Bibliography]—Литература референци

== Видео ==
Axiom пројекат има велики фокус на пружање документације. Недавно је пројекат објавио први у низу наставних видеа, који су такође доступни на <code>axiom-developer.org</code><ref>[http://www.axiom-developer.org Axiom-developer.org]</ref> вебсајту.

== Филозофија ==
(contracted; show full)
* <cite class="citation journal">Claire Dicrescenzo; Dominique Duval (1989). </cite><cite class="citation journal">P. Gianni, ed. "Algebraic extensions and algebraic closure in Scratchpad II". </cite><cite class="citation journal">Springer. стр. 440–446.</cite>
* Timothy Daly [
https://web.archive.org/web/20110725025136/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
{{refend}}

== Спољашње везе ==
{{Commonscat|Axiom}}
* [https://web.archive.org/web/20040818090101/http://axiom-developer.org/ Axiom Homepage]
* [http://axiom-wiki.newsynthesis.org/SandBoxAxiom Online sandbox to try Axiom]
* Складишста отвореног кода: [https://github.com/daly/axiom/ Github], [[sourceforge:p/axiom/code/|SourceForge]], [http://git.savannah.gnu.org/cgit/axiom.git GNU Savannah]
* [https://web.archive.org/web/20080828045636/http://axiom-developer.org/axiom-website/bookvol0.pdf Jenks, R.D. and Sutor, R. "Axiom, The Scientific Computation System"]
* [https://web.archive.org/web/20080705234642/http://axiom-developer.org/axiom-website/bookvol1.pdf Daly, T. "Axiom Volume 1: Tutorial"]
Софтверске виљушке
* [http://www.open-axiom.org OpenAxiom] ([[sourceforge:projects/open-axiom/|SourceForge]])
* [http://fricas.sourceforge.net FriCAS] ([[sourceforge:projects/fricas/|SourceForge]])

{{Computer algebra systems}}

[[Категорија:Слободни рачунарски алгебарски системи]]
[[Категорија:Слободни софтверски програм у Лиспу]]
[[Категорија:Рачунарски алгебарски системски софтвер за Линукс]]