all options
bullseye  ] [  bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Source: fricas  ]

Package: fricas-hypertex (1.3.11-5)

Links for fricas-hypertex

Screenshot

Debian Resources:

Download Source Package fricas:

Maintainer:

External Resources:

Similar packages:

sistema universale di algebra al computer: sottosistema hypertex

Fricas è utile per la ricerca e lo sviluppo di algoritmi matematici. Definisce una gerarchia di tipi, rigorosa e matematicamente corretta. Ha un linguaggio di programmazione ed un compilatore incorporato.

Fricas è stato sviluppato sin dal 1973 ed è stato venduto come prodotto commerciale. È stato rilasciato come software libero.

Sono in corso sforzi per estendere questo software per (a) sviluppare un'interfaccia utente migliore; (b) renderlo utile come strumento di insegnamento; (c) sviluppare un protocollo server per l'algebra; (d) integrare matematica aggiuntiva; (e) ricostruire l'algebra in uno stile di programmazione documentato; (f) integrare la programmazione logica; (g) sviluppare un Fricas Journal con contributi sottoposti a revisione.

Questo pacchetto contiene i binari per il sottosistema hypertex. I programmi in questo pacchetto forniscono un sistema di guida in linea interattiva che descrive i molti comandi di Fricas.

Other Packages Related to fricas-hypertex

  • depends
  • recommends
  • suggests
  • enhances

Download fricas-hypertex

Download for all available architectures
Architecture Package Size Installed Size Files
alpha (unofficial port) 183.3 kB513.0 kB [list of files]
amd64 185.5 kB367.0 kB [list of files]
arm64 177.0 kB447.0 kB [list of files]
armhf 174.1 kB380.0 kB [list of files]
hppa (unofficial port) 175.3 kB339.0 kB [list of files]
i386 189.9 kB380.0 kB [list of files]
loong64 184.4 kB510.0 kB [list of files]
m68k (unofficial port) 161.1 kB308.0 kB [list of files]
ppc64 (unofficial port) 187.5 kB575.0 kB [list of files]
ppc64el 189.3 kB511.0 kB [list of files]
riscv64 188.8 kB339.0 kB [list of files]
s390x 185.7 kB394.0 kB [list of files]
sh4 (unofficial port) 178.2 kB444.0 kB [list of files]
sparc64 (unofficial port) 169.7 kB3,206.0 kB [list of files]
x32 (unofficial port) 183.3 kB344.0 kB [list of files]