Download Source Package axiom:
Axiom je užitečný pro výzkum a vývoj matematických algoritmů. Obsahuje precizně napsanou, matematicky správnou hierarchii jednotlivých typů. Má vlastní programovací jazyk a vestavěný kompilátor.
Axiom je vyvíjen od roku 1973 a byl po určitou dobu prodáván jako komerční produkt. Nakonec byl uvolněn jako svobodný software.
V současné době se pracuje na rozšíření programu o (a) vytvoření lepšího uživatelského rozhraní (b) uplatnění programu jako výukového nástroje (c) vytvoření serverového protokolu algebry (d) přidání další matematiky (e) přestavení algebry do kultivovaného programovacího stylu (f) integraci logického programování (g) vytvoření "Axiom Journal" s řízením příspěvků.
Balíček obsahuje binární soubory grafického podsystému. Programy umístěné v tomto balíčku umožňují axiomu vykreslovat grafy do oddělených oken v X a také vytvářet soubory ve formátu postscript.
|
|
|
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| alpha | 210.9 kB | 544 kB | [list of files] |
| amd64 | 178.5 kB | 424 kB | [list of files] |
| arm | 173.8 kB | 392 kB | [list of files] |
| armel | 179.8 kB | 396 kB | [list of files] |
| hppa | 188.4 kB | 420 kB | [list of files] |
| i386 | 149.3 kB | 388 kB | [list of files] |
| ia64 | 279.2 kB | 844 kB | [list of files] |
| m68k | 133.7 kB | 380 kB | [list of files] |
| mips | 192.3 kB | 524 kB | [list of files] |
| mipsel | 192.7 kB | 524 kB | [list of files] |
| powerpc | 185.8 kB | 440 kB | [list of files] |
| s390 | 171.4 kB | 408 kB | [list of files] |
| sparc | 162.0 kB | 384 kB | [list of files] |