Difference between revisions 12454791 and 12454918 on srwiki

{{Инфокутија софтвер
| име                        = 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>[http://axiom-developer.org Axiom Homepage]</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?] at axiom-developer.org</ref> Изворни код постаје доступан у сету томова који су доступни на <code>axiom-developer.org</code> вебсајту. Ови томови садрже стварни изворни код система.

Тренутно доступни документи су:
* [http://axiom-developer.org/axiom-website/toc.pdf Combined Table of Contents]
* Том 0: [http://axiom-developer.org/axiom-website/bookvol0.pdf Axiom Jenks and Sutor]—Главни уџбеник
* Том 1: [http://axiom-developer.org/axiom-website/bookvol1.pdf Axiom Tutorial]—Једноставан увод
* Том 2: [http://axiom-developer.org/axiom-website/bookvol2.pdf Axiom Users Guide]—Детаљни примери коришћења домена (непотпуно)
* Том 3: [http://axiom-developer.org/axiom-website/bookvol3.pdf Axiom Programmers Guide]—Руковођени  примери писања програма (непотпуна)
* Том 4: [http://axiom-developer.org/axiom-website/bookvol4.pdf Axiom Developers Guide]—Кратки есеји о програмирању- специфичне теме (непотпуно)
* Том 5: [http://axiom-developer.org/axiom-website/bookvol5.pdf Axiom Interpreter]—Изворни код за Axiom интерпретатора (непотпуно)
* Том 6: [http://axiom-developer.org/axiom-website/bookvol6.pdf Axiom Command]—Изворни код за систем команде и скрипте (непотпуно)
* Том 7: [http://axiom-developer.org/axiom-website/bookvol7.pdf Axiom Hyperdoc]—Изворни код за објашњење X11 Hyperdoc
** Том 7.1 [http://axiom-developer.org/axiom-website/bookvol7.1.pdf Axiom Hyperdoc Pages]—Изворни код за Hyperdoc стране
* Том 8: [http://axiom-developer.org/axiom-website/bookvol8.pdf Axiom Graphics]—Изворни код за X11 графички подсистем
** Том 8.1 [http://axiom-developer.org/axiom-website/bookvol8.1.pdf Axiom Gallery]—Галерија слика Axiom
* Том 9: [http://axiom-developer.org/axiom-website/bookvol9.pdf Axiom Compiler]—Изворни код за Spad компајлера (непотпуно)
* Том 10: [http://axiom-developer.org/axiom-website/bookvol10.pdf Axiom Algebra Implementation]—Есеји о питањима имплементације (непотпуно)
** Том 10.1: [http://axiom-developer.org/axiom-website/bookvol10.1.pdf Axiom Algebra Theory]—Есеји који садрже теорију позадине
** Том 10.2: [http://axiom-developer.org/axiom-website/bookvol10.2.pdf Axiom Algebra Categories]—Изворни код за Axiom категорије
** Том 10.3: [http://axiom-developer.org/axiom-website/bookvol10.3.pdf Axiom Algebra Domains]—Изворни код за Axiom демене
** Том 10.4: [http://axiom-developer.org/axiom-website/bookvol10.4.pdf Axiom Algebra Packages]—Изворни код за Axiom пакете
** Том 10.5: [http://axiom-developer.org/axiom-website/bookvol10.5.pdf Axiom Algebra Numerics]—Изворни код за Axiom бројеве
* Том 11: [http://axiom-developer.org/axiom-website/bookvol11.pdf Axiom Browser]—Изворни код за Axiom Firefox browser front end
* Том 12: [http://axiom-developer.org/axiom-website/bookvol12.pdf Axiom Crystal]—Изворни код за Axiom Crystal front end (непотпуно)
* Том 13: [http://axiom-developer.org/axiom-website/bookvol13.pdf Proving Axiom Correct]—Докази Axiom алгебре (непотпуно)
* Библиографија: [http://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> вебсајту.

== Филозофија ==
Axiom пројекат се фокусира на "30 година хоризонта". Примарна филозофија је да Axiom треба да развије неколико основних функција како би било корисно за следеће генерације рачунарских математичара. Knuth's писмена техника програмирања е користи широм изворног кода. Axiom планира да користи технологију доказа да докаже исправност алгоритама (као што су Coq и ACL2).

Axiom користи Docker контејнере као део континуираног процеса ослобађања. Најновија слика је доступна на било којој платформи користећи boot2docker [http://boot2docker.io] и команде:

docker pull daly/axiom

docker run -i -t daly/axiom axiom

== Дизајн ==
У Axiom, сви објекти имају тип. Примери типова су математичке структуре (као што је [[Алгебарски прстен|прстење]], [[Поље (математика)|поља]], [[полином]]и), као и структуре података из области рачунарских наука (нпр [[Листа (структура података)|листе]], [[Стабло (структура података)|стабла]], [[Хеш табела|хеш табеле]]).

Функција може узети као аргумент тип, а његов повратак вредности може да буде нека врста. На пример, <code>Fraction</code> је функицја, и заузима  <code>IntegralDomain</code> као аргумент, и враћа поље фракције свог аргумента. Као други пример, прстен од <math>4\times 4</math>  са рационалним уносом ће бити изграђен као <code>SquareMatrix(4, Fraction Integer)</code>. Наравно, када се ради у овој области, <code>1</code>се тумачи као матрица идентитета и <code>A^-1</code> би дао инверзију матрице <code>A</code>, ако постоји.

Неколико операција могу имати исто име, као и врсте оба аргумената и резултат се користи да одреди која операција се примењује (види функцију преоптерећења).

Axiom долази са екстензијом језика названом SPAD. Сва математичка знања Axioma су написана у овом језику. Преводилац прихвата приближно исти језик. SPAD се даље развијао под именом A# и касније Aldor. Axiom више не подржава ову екстензију језика.

== Карактеристике ==
У оквиру преводиоца окружења, Axiom користи [[Инферентни тип|тип закључка]] и хеуристички алгоритам да изричит тип напомене углавном буде непотребан.

Поседује 'HyperDoc', интерактивни претраживач попут помоћног система, и може приказати дводимензионалне и тродимензионалне графике, такође обезбеђује интерактивне функције као што су ротација и осветљење. Има и специјализован интеракцијски режим за  Emacs, као и повезаност са [[GNU TeXmacs|TeXmacs]] уредником.<gallery>
File:AxiomHyperDoc.png|Axiom приказује доступне операције за домен
File:AxiomGraphics.png|Axiom приказује површину
File:Axiomfirefox.jpg|Axiom Firefox Browser Interface
File:Heatequation.jpg|Axiom поједностављење и топлоте једначина
File:Matrixinmatrix.jpg|Axiom матрица манипулације
File:RischIntegration.jpg|Axiom прорачунава Risch интеграл
</gallery>Axiomима има примену за  [[Risch алгоритам|Risch алгоритма]] за основне интеграције, који су урадили Manuel Bronstein и Barry Trager.

== Види још ==
* A# програмски језик
* Aldor програмски језик
* [[Листа рачунарских алгебарских система]]

== Референце ==
{{reflist}}

== Литература ==
{{refbegin|2}}
* <cite class="citation journal">James H. Griesmer; Richard D. Jenks (1971). </cite><cite class="citation journal">"SCRATCHPAD/1: An interactive facility for symbolic mathematics". стр. 42–58.</cite>
* <cite class="citation techreport">Richard D. Jenks (1971). </cite><cite class="citation techreport">''META/PLUS - The Syntax Extension Facility for SCRATCHPAD'' (Research report). IBM Thomas J. Watson Research Center. </cite><cite class="citation techreport">RC 3259.</cite>
* <cite class="citation journal">James H. Griesmer; Richard D. Jenks (1972). </cite><cite class="citation journal">"Experience with an online symbolic mathematics system" '''1'''. </cite><cite class="citation journal">Brunel University. стр. 457–476.</cite>
* <cite class="citation journal">James H. Griesmer; Richard D. Jenks (1972). </cite><cite class="citation journal">"SCRATCHPAD: A capsule view" '''7''' (10). </cite><cite class="citation journal">ACM. стр. 93–102.</cite>
* <cite class="citation journal">Richard D. Jenks (1974). </cite><cite class="citation journal">"The SCRATCHPAD Language" '''9''' (4). ACM. стр. 101–111. </cite><cite class="citation journal">[[Međunarodni standardni serijski broj|ISSN]]&nbsp;[//www.worldcat.org/issn/0362-1340 0362-1340].</cite>
* <cite class="citation journal">Arthur C. Norman (1975). </cite><cite class="citation journal">"Computing with Formal Power Series". ''TOMS'' (ACM) '''1''' (4): 346–356. {{doi|10.1145/355656.355660}}. </cite><cite class="citation journal">ISSN&nbsp;[//www.worldcat.org/issn/0098-3500 0098-3500].</cite>
* <cite class="citation journal">Richard D. Jenks (1976). </cite><cite class="citation journal">"A pattern compiler". стр. 60–65.</cite>
* <cite class="citation thesis">E. Lueken (1977). </cite><cite class="citation thesis">''Ueberlegungen zur Implementierung eines Formelmanipulationssystems'' (Masters thesis) (in German). </cite><cite class="citation thesis">Germany: Technischen Universitat Carolo-Wilhelmina zu Braunschweig.</cite>
* <cite class="citation journal">George E. Andrews (1984). </cite><cite class="citation journal">"Ramanujan and SCRATCHPAD". </cite><cite class="citation journal">Schenectady: [[Џенерал електрик|General Electric]]. стр. 383–408.</cite>
* <cite class="citation journal">James H. Davenport; P. Gianni; Richard D. Jenks; V. Miller; Scott Morrison; M. Rothstein; C. Sundaresan; Robert S. Sutor; Barry Trager (1984). </cite><cite class="citation journal">""Scratchpad"". </cite><cite class="citation journal">Mathematical Sciences Department, IBM Thomas J. Watson Research Center.</cite>
* <cite class="citation journal">Richard D. Jenks (1984). </cite><cite class="citation journal">"The New SCRATCHPAD Language and System for Computer Algebra". </cite><cite class="citation journal">''Proceedings of the 1984 MACSYMA Users' Conference'' (Schenectady, New York): 409–416.</cite>
* <cite class="citation journal">Richard D. Jenks (1984). </cite><cite class="citation journal">"A primer: 11 keys to New Scratchpad". </cite><cite class="citation journal">Springer. стр. 123–147.</cite>
* <cite class="citation journal">Robert S. Sutor (1985). </cite><cite class="citation journal">"The Scratchpad II Computer Algebra Language and System". </cite><cite class="citation journal">Springer. стр. 32–33.</cite>
* <cite class="citation journal">Rüdiger Gebauer; H. Michael Möller (1986). </cite><cite class="citation journal">"Buchberger's algorithm and staggered linear bases". ACM. стр. 218–221. </cite><cite class="citation journal">{{page|year=|id=ISBN 0-89791-199-7|pages=218–221. }}</cite>
* <cite class="citation techreport">Richard D. Jenks; Robert S. Sutor; Stephen M. Watt (1986). </cite><cite class="citation techreport">''Scratchpad II: an abstract datatype system for mathematical computation'' (Research report). IBM Thomas J. Watson Research Center. </cite><cite class="citation techreport">RC 12327.</cite>
* <cite class="citation journal">Michael Lucks; Bruce W. Char (1986). </cite><cite class="citation journal">"A fast implementation of polynomial factorization". ACM. стр. 228–232. </cite><cite class="citation journal">{{page|year=|id=ISBN 0-89791-199-7|pages=228–232. }}</cite>
* <cite class="citation journal">J. Purtilo (1986). </cite><cite class="citation journal">"Applications of a software interconnection system in mathematical problem solving environments". ACM. стр. 16–23. </cite><cite class="citation journal">{{page|year=|id=ISBN 0-89791-199-7|pages=16–23. }}</cite>
* <cite class="citation techreport">William H. Burge; Stephen M. Watt (1987). </cite><cite class="citation techreport">''Infinite Structure in SCRATCHPAD II'' (Research report). IBM Thomas J. Watson Research Center. </cite><cite class="citation techreport">RC 12794.</cite>
* <cite class="citation techreport">Pascale Sénéchaud; Françoise Siebert; Gilles Villard (1987). </cite><cite class="citation techreport">''Scratchpad II: Présentation d'un nouveau langage de calcul formel''. </cite><cite class="citation techreport">''TIM'' (Research report) (in French) ([[:fr:Institut d'informatique et mathématiques appliquées de Grenoble|IMAG]], Grenoble Institute of Technology). 640-M.</cite>
* <cite class="citation journal">Robert S. Sutor; Richard D. Jenks (1987). </cite><cite class="citation journal">Richard L. Wexelblat, ed. "The Type Inference and Coercion Facilities in the Scratchpad II Interpreter". ACM. стр. 56–63. {{doi|10.1145/29650.29656}}. </cite><cite class="citation journal">{{page|year=|id=ISBN 0-89791-235-7|pages=56–63. }}</cite>
* <cite class="citation journal">George E. Andrews (1988). </cite><cite class="citation journal">R. Janssen, ed. "Application of SCRATCHPAD to problems in special functions and combinatorics". Lecture Notes in Computer Science (296). </cite><cite class="citation journal">Springer. стр. 159–166.</cite>
* {{cite book|author1=James H. Davenport|author2=Yvon Siret|author3=Evelyne Tournier|origyear=1988|title=Computer Algebra: Systems and Algorithms for Algebraic Computation|location=|publisher=Academic Press|year=1993|isbn=978-0-12-204230-0|pages=}}
* <cite class="citation journal">R. Gebauer; H. M. Moller (1988). </cite><cite class="citation journal">"On an installation of Buchberger's algorithm". ''Journal of Symbolic Computation'' '''6''' (2-3): 275–286. {{doi|10.1016/s0747-7171(88)80048-8}}. </cite><cite class="citation journal">ISSN&nbsp;[//www.worldcat.org/issn/0747-7171 0747-7171].</cite>
* <cite class="citation journal">Fritz Schwarz (1988). </cite><cite class="citation journal">R. Janssen, ed. "Programming with abstract data types: the symmetry package (SPDE) in Scratchpad". Lecture Notes in Computer Science. </cite><cite class="citation journal">Springer. стр. 167–176.</cite>
* <cite class="citation journal">D. Shannon; M. Sweedler (1988). </cite><cite class="citation journal">"Using Groebner bases to determine algebra membership, split surjective algebra homomorphisms determine birational equivalence". </cite><cite class="citation journal">''Journal of Symbolic Computation'' '''6''' (2-3): 267–273. {{doi|10.1016/s0747-7171(88)80047-6}}.</cite>
* <cite class="citation journal">Hans-J. Boehm (1989). </cite><cite class="citation journal">"Type inference in the presence of type abstraction". </cite><cite class="citation journal">''Sigplan'' '''24''' (7): 192–206. {{doi|10.1145/74818.74835}}.</cite>
* <cite class="citation journal">Manuel Bronstein (1989). </cite><cite class="citation journal">"Simplification of real elementary functions". </cite><cite class="citation journal">ACM. стр. 207–211.</cite>
* <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 [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, [http://wayback.archive.org/web/20040308073825/http://lsm2003.abul.org/ Libre Software Meeting], Metz, France, July 9–12, 2003
{{refend}}

== Спољашње везе ==
{{Commonscat|Axiom}}
* [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]
* [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"]
Софтверске виљушке
* [http://www.open-axiom.org OpenAxiom] ([[sourceforge:projects/open-axiom/|SourceForge]])
* [http://fricas.sourceforge.net FriCAS] ([[sourceforge:projects/fricas/|SourceForge]])

{{Computer algebra systems}}

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