Difference between revisions 12443751 and 12454791 on srwiki

{{Инфокутија софтвер
| име                        = Axiom
| програмер                  = Independent group of people
| писано                     = [[C++]]
| оперативни_систем          = [[Cross-platform]]
| жанр                       = [[Рачунарски алгебарски систем]]
| лиценца                    = [[BSD licence|Modified BSD License]]
| вебсајт                    = {{URL|http://axiom-developer.org/}}
(contracted; show full)
* Том 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>{{чињеница|date=04. 2017.}} даје детаље о Axiom информацијама изовра<ref name="video" /><ref>[http://www.axiom-developer.org Axiom-developer.org]</ref> вебсајту.

== Филозофија ==
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}}

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