Difference between revisions 12333279 and 12443751 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/}}
(contracted; show full)
* Том 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> вебсајту. Први видео<ref name="video"><cite class="citation web">[http://www.youtube.com/watch?v=CV8y3UrpadY "Axiom Computer Algebra System Information Sources"]. </cite></ref>{{чињеница|date=04. 2017.}} даје детаље о Axiom информацијама изовра<ref name="video" />

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

(contracted; show full)* [http://www.open-axiom.org OpenAxiom] ([[sourceforge:projects/open-axiom/|SourceForge]])
* [http://fricas.sourceforge.net FriCAS] ([[sourceforge:projects/fricas/|SourceForge]])

{{Computer algebra systems}}

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