Difference between revisions 11495246 and 11525608 on srwiki

< previous diff
next diff >
Axiom (рачунарски алгебарски систем)
{{ФИН2015}}
{{Инфокутија софтвер
| име                        = Axiom
| програмер                  = Independent group of people
| писано                     = [[C++]]
| оперативни_систем          = [[Cross-platform]]
| жанр                       = [[Рачунарски алгебарски систем]]
| лиценца                    =  [[BSD licence|Modified BSD License]]
(contracted; show full)ass="citation journal" contenteditable="false">Arthur C. Norman (1975). </cite><cite class="citation journal" contenteditable="false">"Computing with Formal Power Series". ''TOMS'' (ACM) '''1''' (4): 346–356. [[Digitalni identifikator objekta|doi]]:[[doi:10.1145/355656.355660|10.1145/355656.355660]]. </cite><cite class="citation journal" contenteditable="false">
[[Međunarodni standardni serijski broj|ISSN]]&nbsp;[//www.worldcat.org/issn/0098-3500 0098-3500].</cite><span class="Z3988" title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAxiom+%28computer+algebra+system%29&rft.atitle=Computing+with+Formal+Power+Series&rft.au=Arthur+C.+Norman&rft.date=1975&rft.genre=article&rft_id=info%3Adoi%2F10.1145%2F355656.355660&rft.issn=0098-3500&rft.issue=4&rft.jtitle=TOMS&rft.pages=346-356&rft.pub=ACM&rft_val_fmt=info%3Aofi%2Ffmt%3Ak(contracted; show full)
* <cite class="citation journal" contenteditable="false">Robert S. Sutor; Richard D. Jenks (1987). </cite><cite class="citation journal" contenteditable="false">Richard L. Wexelblat, ed. "The Type Inference and Coercion Facilities in the Scratchpad II Interpreter". ACM. pp.&nbsp;56–63. 
[[Digitalni identifikator objekta|doi]]:[[doi:10.1145/29650.29656|10.1145/29650.29656]]. </cite><cite class="citation journal" contenteditable="false">ISBN 0-89791-235-7.</cite><span class="Z3988" title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAxiom+%28computer+algebra+system%29&rft.atitle=The+Type+Inference+and+Coercion+Facilities+in+the+Scratchpad+II+Interpreter&rft.au=Richard+D.+Jenks&rft.au=Robert+S.+Sutor&rft.date=1987&rft.genre=article&rf(contracted; show full)
* <cite class="citation journal" contenteditable="false">R. Gebauer; H. M. Moller (1988). </cite><cite class="citation journal" contenteditable="false">"On an installation of Buchberger's algorithm". ''Journal of Symbolic Computation'' '''6''' (2-3): 275–286. 
[[Digitalni identifikator objekta|doi]]:[[doi:10.1016/s0747-7171(88)80048-8|10.1016/s0747-7171(88)80048-8]]. </cite><cite class="citation journal" contenteditable="false">[[Međunarodni standardni serijski broj|ISSN]]&nbsp;[//www.worldcat.org/issn/0747-7171 0747-7171].</cite><span class="Z3988" title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAxiom+%28computer+algebra+system%29&rft.atitle=On+an+installation+of+Buchberger%27s+algorithm&rft.au=H.+M.+Moller&rft.au=R.+Gebauer&rft.date=1988&rft.genre=article&rft_id=info%3Adoi%2F10.1016%2Fs0747-7171%2888%2980048-8&rft.issn=0747-7171&rft.issue=2-3&rft.jtitle=Journal+of+Symbolic+Computation&(contracted; show full)uot; contenteditable="false">D. Shannon; M. Sweedler (1988). </cite><cite class="citation journal" contenteditable="false">"Using Groebner bases to determine algebra membership, split surjective algebra homomorphisms determine birational equivalence". </cite><cite class="citation journal" contenteditable="false">''Journal of Symbolic Computation'' '''6''' (2-3): 267–273. 
[[Digitalni identifikator objekta|doi]]:[[doi:10.1016/s0747-7171(88)80047-6|10.1016/s0747-7171(88)80047-6]].</cite><span class="Z3988" title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAxiom+%28computer+algebra+system%29&rft.atitle=Using+Groebner+bases+to+determine+algebra+membership%2C+split+surjective+algebra+homomorphisms+determine+birational+equivalence&rft.au=D.+Shannon&rft.au=M.+Sweedler&rft.date=1988&rft.genre=article&rft_id=info%3Adoi%2F10.1016%2Fs0747-7171%2888%2980047-6&rft.issue=2-3&rft.jtitle=Journal+of+Symbolic+Computation&rft.pages=267-273&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.volume=6" contenteditable="false">&nbsp;</span>
* <cite class="citation journal" contenteditable="false">Hans-J. Boehm (1989). </cite><cite class="citation journal" contenteditable="false">"Type inference in the presence of type abstraction". </cite><cite class="citation journal" contenteditable="false">''Sigplan'' '''24''' (7): 192–206. [[Digitalni identifikator objekta|doi]]:[[doi:10.1145/74818.74835|10.1145/74818.74835]].</cite><span class="Z3988" title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAxiom+%28computer+algebra+system%29&rft.atitle=Type+inference+in+the+presence+of+type+abstraction&rft.au=Hans-J.+Boehm&rft.date=1989&rft.genre=article&rft_id=info%3Adoi%2F10.1145%2F74818.74835&rft.issue=7&rft.jtitle=Sigplan&rft.pages=192-206&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.volum(contracted; show full)*[[muMATH]]


}}<noinclude>

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